mirror of
https://github.com/davatorium/rofi.git
synced 2024-11-11 13:50:48 -05:00
15 lines
271 B
Bash
15 lines
271 B
Bash
|
#!/usr/bin/env bash
|
||
|
|
|
||
|
|
TOP_DIR=$1
|
||
|
|
|
||
|
|
rofi -no-config -dump-theme > temp.txt
|
||
|
|
|
||
|
|
if ! diff temp.txt ${TOP_DIR}/doc/default_theme.rasi > /dev/null
|
||
|
|
then
|
||
|
|
echo "Dump default theme does not match."
|
||
|
|
diff temp.txt ${TOP_DIR}/doc/default_theme.rasi
|
||
|
|
exit 1;
|
||
|
|
fi
|
||
|
|
|
||
|
|
exit ${RETV}
|