2015-12-31 16:45:36 -05:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
2015-12-31 17:02:13 -05:00
|
|
|
TOP_DIR=$1
|
|
|
|
|
|
|
|
xrdb -retain -load ${TOP_DIR}/doc/test_xr.txt
|
2017-03-11 08:55:58 -05: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 16:45:36 -05:00
|
|
|
|
2015-12-31 17:02:13 -05:00
|
|
|
if ! diff temp.txt ${TOP_DIR}/doc/test_xr.txt > /dev/null
|
2015-12-31 16:45:36 -05:00
|
|
|
then
|
|
|
|
echo "Dump xresources does not match."
|
2017-04-25 14:13:34 -04:00
|
|
|
diff temp.txt ${TOP_DIR}/doc/test_xr.txt
|
2015-12-31 16:45:36 -05:00
|
|
|
exit 1;
|
|
|
|
fi
|
|
|
|
|
|
|
|
exit ${RETV}
|