libs/gil/doc/shorten_file_name.sh

   1 #!/bin/sh -e
   2
   3 # Copyright 2008 Lubomir Bourdev and Hailin Jin
   4 #
   5 # Distributed under the Boost Software License, Version 1.0.
   6 # (See accompanying file LICENSE_1_0.txt or copy at
   7 # http://www.boost.org/LICENSE_1_0.txt)
   8
   9 if [ $# -lt 1 ]
  10     then
  11     $0 html
  12     $0 png
  13     exit
  14 fi
  15
  16 echo $# extensions to process
  17 for file_extension in $@
  18   do
  19   echo Processing extension $file_extension ...
  20   kk=0
  21   for long_file_name in *.$1
  22     do
  23     file_name_length=`gexpr length $long_file_name`
  24     if [ $file_name_length -gt 20 ]
  25         then
  26         kk=`gexpr $kk + 1`
  27         short_file_name=`printf "g_i_l_%04d.$1" $kk`
  28         echo \ \ Shortening $long_file_name to $short_file_name ...
  29         sed_string="s/\\\"$long_file_name/\\\"$short_file_name/g"
  30         grep -l $long_file_name *.htm* | xargs gsed -i $sed_string
  31         mv $long_file_name $short_file_name
  32     fi
  33   done
  34 done