oh-my-fish/lib/refresh.fish

# SYNOPSIS
#   refresh
#
# OVERVIEW
#   Refresh (reload) the current fish session.

function refresh -d "Refresh fish session by replacing current process"
  if not set -q CI
    history --save
    exec fish < /dev/tty
  end
end
%%% United States of the Fish → Wahoo + OMF %%% 2015-08-26 23:20:13 +08:00			`# SYNOPSIS`
			`# refresh`
			`#`
			`# OVERVIEW`
			`# Refresh (reload) the current fish session.`

Save history before replacing shell process Fixes an issue with history between shell reloads via refresh function call. As `exec` replaces the current process in a non-gently fashion, the persistent history could be out of sync with the in-memory history. Calling `history --save` before `exec` should force the shell to persist the history before replacing the current process. 2015-10-02 04:05:16 +08:00			`function refresh -d "Refresh fish session by replacing current process"`
			`if not set -q CI`
			`history --save`
			`exec fish < /dev/tty`
			`end`
%%% United States of the Fish → Wahoo + OMF %%% 2015-08-26 23:20:13 +08:00			`end`