Browse Source

[direnv]: add direnvrc file.

master
Fredrik Ekre 5 years ago
parent
commit
a3077a7284
  1. 16
      .config/direnv/direnvrc

16
.config/direnv/direnvrc vendored

@ -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
}
Loading…
Cancel
Save