Index
My personal dotfiles for Debian/Ubuntu.
| {#} | Time | Hash | Subject | Author | # | (+) | (-) | GPG? |
|---|---|---|---|---|---|---|---|---|
| 56 | 05 Jan 2023 10:40 | 6a2f9f1 | Use source-bash instead of source for ESP-IDF | Josh Stockin | 1 | 1 | 1 | G |
| 1 | # XONSH WEBCONFIG START |
| 2 | $PROMPT = '{env_name}{WHITE}[{BOLD_GREEN}{user}@{hostname}{BOLD_BLUE} {cwd}{branch_color}{curr_branch: ({})}{RESET}{INTENSE_WHITE}]{prompt_end}{RESET} ' |
| 3 | # XONSH WEBCONFIG END |
| 4 | # |
| 5 | if p"$HOME/.xonsh_aliases".exists(): |
| 6 | source $HOME/.xonsh_aliases |
| 7 | |
| 8 | if p"$HOME/esp/esp-idf/export.sh".exists(): |
| 9 | source-bash $HOME/esp/esp-idf/export.sh |
| 10 |