Warning, file /games/kolf/ExtraDesktop.sh was not indexed or was modified since last indexation (in which case cross-reference links may be missing, inaccurate or erroneous).
0001 #! /bin/sh 0002 #This file outputs in a separate line each file with a .desktop syntax 0003 #that needs to be translated but has a non .desktop extension 0004 for i in `cat courses.list`; do echo $i; done