boost_1_45_0/libs/gil/doc/shorten_file_name.sh

#!/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