shell: Also remember last options when switching hosts.