2015-12-31 21:45:36 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
2015-12-31 22:02:13 +00:00
|
|
|
TOP_DIR=$1
|
|
|
|
|
|
|
|
xrdb -retain -load ${TOP_DIR}/doc/test_xr.txt
|
2017-03-11 13:55:58 +00:00
|
|
|
rofi -config ${TOP_DIR}/doc/test_xr.txt -dump-xresources | grep -v "rofi.display-" | grep -v "The display name of this browser" > temp.txt
|
2015-12-31 21:45:36 +00:00
|
|
|
|
2015-12-31 22:02:13 +00:00
|
|
|
if ! diff temp.txt ${TOP_DIR}/doc/test_xr.txt > /dev/null
|
2015-12-31 21:45:36 +00:00
|
|
|
then
|
|
|
|
echo "Dump xresources does not match."
|
2017-04-25 18:13:34 +00:00
|
|
|
diff temp.txt ${TOP_DIR}/doc/test_xr.txt
|
2015-12-31 21:45:36 +00:00
|
|
|
exit 1;
|
|
|
|
fi
|
|
|
|
|
|
|
|
exit ${RETV}
|