1
0
Fork 0
mirror of https://github.com/davatorium/rofi.git synced 2024-11-18 13:54:36 -05:00

Fix test?

This commit is contained in:
Dave Davenport 2016-10-19 21:39:43 +02:00
parent ba2188d649
commit d0d1869604
2 changed files with 1 additions and 10 deletions

View file

@ -257,12 +257,3 @@ Global options:
-display-combi [string] The display name of this browser
combi (File)
Monitor layout:
ID: 0
name: screen
position: 0,0
size: 1280,1024
For more information see: man rofi
Bugreports: https://github.com/DaveDavenport/rofi/
Support: #rofi @ freenode.net

View file

@ -2,7 +2,7 @@
TOP_DIR=$1
rofi -h -config ${TOP_DIR}/doc/test_xr.txt | grep -v "Version"> help-output.txt
rofi -h -config ${TOP_DIR}/doc/test_xr.txt | awk 'BEGIN{ found=1} /^Monitor/{found=0} {if (found) print }' > help-output.txt
if ! diff help-output.txt ${TOP_DIR}/doc/help-output.txt > /dev/null
then