diff options
| author | Timothy Pearson <[email protected]> | 2015-03-02 09:28:28 -0600 |
|---|---|---|
| committer | Timothy Pearson <[email protected]> | 2015-03-02 09:28:28 -0600 |
| commit | 5fda88d91eceb966ed98c1f82757161fb6df1773 (patch) | |
| tree | d7918e4fa41aedbd77666f1d291b1cf4e0adccad | |
| parent | 321c708ddb3925149623285ef0c019fb2218b4a8 (diff) | |
| download | experimental-5fda88d91eceb966ed98c1f82757161fb6df1773.tar.gz experimental-5fda88d91eceb966ed98c1f82757161fb6df1773.zip | |
Properly rename device icon files
| -rwxr-xr-x | kde-tde/tde_device_conversion | 36 |
1 files changed, 18 insertions, 18 deletions
diff --git a/kde-tde/tde_device_conversion b/kde-tde/tde_device_conversion index 697c348..f648ab2 100755 --- a/kde-tde/tde_device_conversion +++ b/kde-tde/tde_device_conversion @@ -11,26 +11,26 @@ WORKDIR=$PWD function rename_files { - echo '#!/bin/bash' > /tmp/rename_mime_files - echo '' >> /tmp/rename_mime_files - echo 'cd $1' >> /tmp/rename_mime_files - echo '' >> /tmp/rename_mime_files - echo 'BASEDIR=${PWD##*/}' >> /tmp/rename_mime_files - echo "ORIGNAME='$1'" >> /tmp/rename_mime_files - echo "NEWNAME='$2'" >> /tmp/rename_mime_files - echo '' >> /tmp/rename_mime_files - echo 'if [[ "$BASEDIR" == ".git" ]]; then' >> /tmp/rename_mime_files - echo ' echo "Ignoring .git directory"' >> /tmp/rename_mime_files - echo ' exit 0' >> /tmp/rename_mime_files - echo 'fi' >> /tmp/rename_mime_files - echo '' >> /tmp/rename_mime_files - echo 'ls -d * | sed "s/\(.*\)mime-$ORIGNAME\.png\(.*\)$/git mv \"&\" \"\1mime-$NEWNAME\.png\2\"/" | grep mv | sh' >> /tmp/rename_mime_files - echo 'ls -d * | sed "s/$ORIGNAME\.png\(.*\)$/git mv \"&\" \"$NEWNAME\.png\1\"/" | grep mv | sh' >> /tmp/rename_mime_files - chmod 755 /tmp/rename_mime_files + echo '#!/bin/bash' > /tmp/rename_device_files + echo '' >> /tmp/rename_device_files + echo 'cd $1' >> /tmp/rename_device_files + echo '' >> /tmp/rename_device_files + echo 'BASEDIR=${PWD##*/}' >> /tmp/rename_device_files + echo "ORIGNAME='$1'" >> /tmp/rename_device_files + echo "NEWNAME='$2'" >> /tmp/rename_device_files + echo '' >> /tmp/rename_device_files + echo 'if [[ "$BASEDIR" == ".git" ]]; then' >> /tmp/rename_device_files + echo ' echo "Ignoring .git directory"' >> /tmp/rename_device_files + echo ' exit 0' >> /tmp/rename_device_files + echo 'fi' >> /tmp/rename_device_files + echo '' >> /tmp/rename_device_files + echo 'ls -d * | sed "s/\(.*\)device-$ORIGNAME\.png\(.*\)$/git mv \"&\" \"\1device-$NEWNAME\.png\2\"/" | grep mv | sh' >> /tmp/rename_device_files + echo 'ls -d * | sed "s/$ORIGNAME\.png\(.*\)$/git mv \"&\" \"$NEWNAME\.png\1\"/" | grep mv | sh' >> /tmp/rename_device_files + chmod 755 /tmp/rename_device_files - find ./ -type d -exec /tmp/rename_mime_files {} \; &> /dev/null + find ./ -type d -exec /tmp/rename_device_files {} \; &> /dev/null - rm /tmp/rename_mime_files + rm /tmp/rename_device_files } function convert_files { |