2022-08-19 10:21:01 -04:00
|
|
|
## Current Theme
|
2024-07-16 22:36:51 -04:00
|
|
|
DEFAULT_TYPE='type-1'
|
|
|
|
DEFAULT_STYLE='style-1'
|
2022-08-19 10:21:01 -04:00
|
|
|
|
2024-07-16 22:36:51 -04:00
|
|
|
# INPUT_THEME should be set by the script that sources this file,
|
|
|
|
# if the user wants to override the default theme.
|
|
|
|
if [ -z "$INPUT_THEME" ]; then
|
|
|
|
theme="$SCRIPT_DIR/../$DEFAULT_TYPE/$DEFAULT_STYLE.rasi"
|
|
|
|
elif [[ $1 == "-h" || $1 == "--help" ]]; then
|
|
|
|
echo "Usage: $SCRIPT_INVOCATION [theme]"
|
|
|
|
exit 0
|
|
|
|
else
|
2024-07-17 01:06:27 -04:00
|
|
|
theme="$SCRIPT_DIR/../$theme.rasi"
|
|
|
|
if [ ! -f "$theme" ]; then
|
|
|
|
# fail if we still can't find it.
|
|
|
|
echo "Theme not found!"
|
|
|
|
exit 1
|
2024-07-16 22:36:51 -04:00
|
|
|
fi
|
|
|
|
fi
|