From 6dcd55ad4c4975ca44c7a7c54e7866755b855a7a Mon Sep 17 00:00:00 2001
From: Paul Walker <paul@blacksun.org.uk>
Date: Thu, 29 Aug 2024 10:12:32 +0100
Subject: [PATCH] bashrc: add wasmtime

---
 bashrc.d/wasmtime.bash | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 bashrc.d/wasmtime.bash

diff --git a/bashrc.d/wasmtime.bash b/bashrc.d/wasmtime.bash
new file mode 100644
index 0000000..010fe05
--- /dev/null
+++ b/bashrc.d/wasmtime.bash
@@ -0,0 +1,4 @@
+if [ -d "$HOME/.wasmtime" ] ; then
+  export WASMTIME_HOME="$HOME/.wasmtime"
+  addpath "$WASMTIME_HOME/bin"
+fi