From 199b3df16c4575a5fba578eb158c22dabea3636e Mon Sep 17 00:00:00 2001 From: Ilan Cosman Date: Fri, 29 Sep 2023 14:16:15 -0700 Subject: [PATCH] Stuff for making animations --- tools/dev/config.fish | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 tools/dev/config.fish diff --git a/tools/dev/config.fish b/tools/dev/config.fish new file mode 100644 index 00000000..e7e8a523 --- /dev/null +++ b/tools/dev/config.fish @@ -0,0 +1,28 @@ +if status is-interactive + starship init fish | source + + functions --copy fish_prompt starship_fish_prompt + + function fish_prompt + sleep $sleep_time + starship_fish_prompt + end + + set -gx sleep_time 0 + + function toggle_sleep_time + if test "$sleep_time" = 0 + set -g sleep_time 3 + else + set -g sleep_time 0 + end + end + + bind \cS toggle_sleep_time + + function history_merge + history merge + end + + bind \cH history_merge +end