bashrc: add wasmtime

2024-08-29 10:12:32 +01:00
parent 17e9e24ae1
commit 6dcd55ad4c
1 changed files with 4 additions and 0 deletions
--- a/bashrc.d/wasmtime.bash
+++ b/bashrc.d/wasmtime.bash
@@ -0,0 +1,4 @@
+if [ -d "$HOME/.wasmtime" ] ; then
+  export WASMTIME_HOME="$HOME/.wasmtime"
+  addpath "$WASMTIME_HOME/bin"
+fi