diff options
Diffstat (limited to 'src/desktop/create_desktop_file.sh')
| -rwxr-xr-x | src/desktop/create_desktop_file.sh | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/src/desktop/create_desktop_file.sh b/src/desktop/create_desktop_file.sh deleted file mode 100755 index 8f3d15b..0000000 --- a/src/desktop/create_desktop_file.sh +++ /dev/null @@ -1,18 +0,0 @@ -#!/bin/sh - -set -e - -# Create colobot.desktop from various colobot.ini's - -fname=colobot.ini - -cat colobot.desktop.in - -linguas=$([ ! -d lang ] || ( cd lang ; ls)); - -for type in Name GenericName Comment; do - egrep "^$type=" $fname | sed -e "s/^$type=\"\(.*\)\"$/$type=\1/g" - for l in $linguas; do - egrep "^$type=" lang/$l/$fname | sed -e "s/^$type=\"\(.*\)\"$/$type[$l]=\1/g" - done -done |