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