Searched refs:oldthemeline (Results 1 – 1 of 1) sorted by relevance
250 oldthemeline=`grep "^theme=" $config_dir/config`251 oldtheme=`echo $oldthemeline | sed -e 's/theme=//g'`252 if [ "$theme" != "" ] && [ "$oldthemeline" = "" ] && [ -d "$wadir/$theme" ]; then