Commit 956772da authored by Bruno's avatar Bruno

Merge pull request #88 from derekstavis/refresh-keep-history

Save history before replacing shell process
parents 3610868f 8b8a7c8d
...@@ -4,6 +4,9 @@ ...@@ -4,6 +4,9 @@
# OVERVIEW # OVERVIEW
# Refresh (reload) the current fish session. # Refresh (reload) the current fish session.
function refresh -d "refresh the fish session" function refresh -d "Refresh fish session by replacing current process"
set -q CI; or exec fish < /dev/tty if not set -q CI
history --save
exec fish < /dev/tty
end
end end
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment