RC Logr 20190225 073505

Monday, 25 Feb, 2019

Want an easy way to reload your shell? Do: exec $SHELL --login. Alias it with a shell function for easy remembering.

1
2
3

relogin () {
	exec $SHELL --login
}