35 lines
875 B
Bash
Executable File
35 lines
875 B
Bash
Executable File
#!/bin/sh -e
|
|
|
|
# Copyright 2008 Lubomir Bourdev and Hailin Jin
|
|
#
|
|
# Distributed under the Boost Software License, Version 1.0.
|
|
# (See accompanying file LICENSE_1_0.txt or copy at
|
|
# http://www.boost.org/LICENSE_1_0.txt)
|
|
|
|
if [ $# -lt 1 ]
|
|
then
|
|
$0 html
|
|
$0 png
|
|
exit
|
|
fi
|
|
|
|
echo $# extensions to process
|
|
for file_extension in $@
|
|
do
|
|
echo Processing extension $file_extension ...
|
|
kk=0
|
|
for long_file_name in *.$1
|
|
do
|
|
file_name_length=`gexpr length $long_file_name`
|
|
if [ $file_name_length -gt 20 ]
|
|
then
|
|
kk=`gexpr $kk + 1`
|
|
short_file_name=`printf "g_i_l_%04d.$1" $kk`
|
|
echo \ \ Shortening $long_file_name to $short_file_name ...
|
|
sed_string="s/\\\"$long_file_name/\\\"$short_file_name/g"
|
|
grep -l $long_file_name *.htm* | xargs gsed -i $sed_string
|
|
mv $long_file_name $short_file_name
|
|
fi
|
|
done
|
|
done
|