2017-05-14 16:22:27 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
TOP_DIR=$1
|
|
|
|
|
2021-08-14 11:03:16 +00:00
|
|
|
rofi -no-config -dump-theme | grep -v "Rofi version" > temp.txt
|
2017-05-14 16:22:27 +00:00
|
|
|
|
2021-08-14 11:03:16 +00:00
|
|
|
if ! diff temp.txt "${TOP_DIR}/doc/default_theme.rasi" >/dev/null
|
2017-05-14 16:22:27 +00:00
|
|
|
then
|
|
|
|
echo "Dump default theme does not match."
|
2021-08-14 11:03:16 +00:00
|
|
|
diff temp.txt "${TOP_DIR}/doc/default_theme.rasi"
|
|
|
|
exit 1
|
2017-05-14 16:22:27 +00:00
|
|
|
fi
|
|
|
|
|
2021-08-14 11:03:16 +00:00
|
|
|
exit "${RETV}"
|