paul/dotfiles
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

bash: add opam

Browse Source
This commit is contained in:
Paul Walker
2023-09-29 16:16:08 +01:00
parent ceb0f0b8b9
commit 4f4da312e1
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
bashrc.d/opam.bash Normal file
View File

@@ -0,0 +1,2 @@
# opam configuration
test -r $HOME/.opam/opam-init/init.sh && . $HOME/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true