mirror of
https://github.com/davatorium/rofi.git
synced 2024-10-27 05:23:18 -04:00
14 lines
271 B
Bash
Executable file
14 lines
271 B
Bash
Executable file
#!/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}
|