function get_idf
    source $HOME/esp/esp-idf/export.fish
end