2017-05-14 16:22:27 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
TOP_DIR=$1
|
|
|
|
|
2017-05-14 17:43:44 +00:00
|
|
|
xrdb -retain -load ${TOP_DIR}/doc/old-theme-convert-input.theme
|
2017-10-31 18:29:27 +00:00
|
|
|
rofi -config ${TOP_DIR}/doc/old-theme-convert-input.theme -dump-theme | grep -v "Rofi version" > temp.txt
|
2017-05-14 16:22:27 +00:00
|
|
|
|
|
|
|
if ! diff temp.txt ${TOP_DIR}/doc/old-theme-convert-output.rasi > /dev/null
|
|
|
|
then
|
2017-05-14 17:43:44 +00:00
|
|
|
echo "Convert default theme failed"
|
2017-05-14 16:22:27 +00:00
|
|
|
diff temp.txt ${TOP_DIR}/doc/old-theme-convert-output.rasi
|
|
|
|
exit 1;
|
|
|
|
fi
|
|
|
|
|
|
|
|
exit ${RETV}
|