00-profile.fish

00-profile.fish (text/plain), 351 bytes, created by Dennis Schridde on 2016-06-26 08:25:36 UTC

#!/usr/bin/fish

if test -f /etc/profile.fish
	source /etc/profile.fish
end

if begin [ "$EUID" = "0" ] ; or [ "$USER" = "root" ] ; end
	set -xg PATH /usr/local/sbin /usr/local/bin /usr/sbin /usr/bin /sbin /bin $ROOTPATH
else
	set -xg PATH /usr/local/bin /usr/bin /bin $PATH
end
set -eug ROOTPATH
# Re-prepend $fish_user_paths
__fish_reconstruct_path