Add work laptop configuration

m1.epfl.ch.bash_aliases

@@ -0,0 +1,7 @@
+alias dcb='devcontainer build --workspace-folder $(git rev-parse --show-toplevel)'
+alias dce='devcontainer exec --workspace-folder $(git rev-parse --show-toplevel)'
+alias dcu='devcontainer up --workspace-folder $(git rev-parse --show-toplevel)'
+
+if /usr/bin/which -s pyenv; then
+	alias brew='env PATH="${PATH//$(pyenv root)\/shims:/}" brew'
+fi

m1.epfl.ch.profile

@@ -0,0 +1,12 @@
+# pyenv support
+export PYENV_ROOT="${HOME}/.pyenv"
+[[ -d ${PYENV_ROOT}/bin ]] && export PATH="${PYENV_ROOT}/bin:${PATH}"
+eval "$(pyenv init -)"
+
+# pyenv-virtualenv
+eval "$(pyenv virtualenv-init -)"
+
+# Setting PATH for Python 3.12
+# The original version is saved in .zprofile.pysave
+PATH="/Library/Frameworks/Python.framework/Versions/3.12/bin:${PATH}"
+export PATH

m1.epfl.ch.zshrc

@@ -0,0 +1,4 @@
+# Add ~/bin
+if [ -e "${HOME}/.local/bin" ]; then
+    PATH="${HOME}/.local/bin:${PATH}"
+fi