function prompt_hostname
    echo $hostname;
end