Add Luanti variable

[dotfiles.git] / files / profile

diff --git a/files/profile b/files/profile
index d89ea5a6e83a2956d7461b547fa0d7d68103b9c9..d49af644e9ec481b6f12585f9b94cc5f7acf7f05 100644 (file)
--- a/files/profile
+++ b/files/profile
@@ -25,3 +25,5 @@ fi
 if [ -d "$HOME/.local/bin" ] ; then
     PATH="$HOME/.local/bin:$PATH"
 fi
+
+export PATH="$HOME/bin/platform-tools:$PATH"