From a3077a728440251f5820fc06c1a9f18d4a0df892 Mon Sep 17 00:00:00 2001
From: Fredrik Ekre <ekrefredrik@gmail.com>
Date: Tue, 11 May 2021 11:08:25 +0200
Subject: [PATCH] [direnv]: add direnvrc file.

---
 .config/direnv/direnvrc | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 .config/direnv/direnvrc

diff --git a/.config/direnv/direnvrc b/.config/direnv/direnvrc
new file mode 100644
index 0000000..84c34cd
--- /dev/null
+++ b/.config/direnv/direnvrc
@@ -0,0 +1,16 @@
+#!/bin/bash
+
+JULIA_VERSIONS="/opt/julia"
+
+julia_args() {
+    # Create a bin directory
+    mkdir -p bin
+    # Create a wrapper script to call julia with the arguments
+    echo "#!/bin/bash
+    exec $(which julia) "$@" \"\$@\"
+    " > bin/julia
+    # Make it executable
+    chmod +x bin/julia
+    # Make sure bin is in PATH
+    PATH_add bin
+}