2024-09-08 05:21:10 +01:00
|
|
|
export PATH="${PATH}:$HOME/.scripts"
|
2024-09-06 00:14:30 +01:00
|
|
|
source ~/.profile
|
2024-09-08 05:21:10 +01:00
|
|
|
source ~/.bashrc
|
|
|
|
|
|
2024-09-06 00:14:30 +01:00
|
|
|
|
|
|
|
|
# Added by Toolbox App
|
|
|
|
|
export PATH="$PATH:/home/mikec/.local/share/JetBrains/Toolbox/scripts"
|
|
|
|
|
|
2024-11-13 00:24:28 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
# BEGIN opam configuration
|
|
|
|
|
# This is useful if you're using opam as it adds:
|
|
|
|
|
# - the correct directories to the PATH
|
|
|
|
|
# - auto-completion for the opam binary
|
|
|
|
|
# This section can be safely removed at any time if needed.
|
|
|
|
|
test -r '/home/mikec/.opam/opam-init/init.sh' && . '/home/mikec/.opam/opam-init/init.sh' > /dev/null 2> /dev/null || true
|
|
|
|
|
# END opam configuration
|
