function echo_highlight
    set_color yellow
    echo -n $argv
    set_color normal
end