Skip to content

Instantly share code, notes, and snippets.

@WPettersson
Created October 30, 2020 19:28
Show Gist options
  • Save WPettersson/3f1e2384e029aeb8044221779c1b6da0 to your computer and use it in GitHub Desktop.
Save WPettersson/3f1e2384e029aeb8044221779c1b6da0 to your computer and use it in GitHub Desktop.
diff --git a/splatmoji b/splatmoji
index f795bd3..4cf0e85 100755
--- a/splatmoji
+++ b/splatmoji
@@ -39,11 +39,13 @@ main() {
# Determine history file, and create if not exists and history length > 0
local history_file
if [ -n "${config['history_file']}" ] && [ "${config['history_length']}" -gt 0 ]; then
+ echo "Getting history_file from config as \"${config['history_file']}\"" 1>&2
history_file="${config['history_file']}"
else
local state_dir
state_dir="${HOME}/.local/state/splatmoji"
history_file="${state_dir}/history"
+ echo "using default history_file \"${history_file}\"" 1>&2
mkdir -p "${state_dir}"
fi
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment