Browse Source

[direnv] Use the juliaup directory for julia version discovery

master
Fredrik Ekre 1 year ago
parent
commit
f7a0fbf0d9
No known key found for this signature in database
GPG Key ID: DE82E6D5E364C0A2
  1. 2
      .config/direnv/direnvrc

2
.config/direnv/direnvrc vendored

@ -1,6 +1,6 @@ @@ -1,6 +1,6 @@
#!/bin/bash
JULIA_VERSIONS="/opt/julia"
JULIA_VERSIONS="${HOME}/.julia/juliaup"
julia_args() {
# Create a bin directory

Loading…
Cancel
Save