#!/usr/bin/env bash TOP_DIR=$1 rofi -no-config -dump-theme | grep -v "Rofi version" > 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}"