Building a Julia Environment
This guide covers configuring Julia environments in envd
. If you’re new to envd
please read our Tutorial and build configuration guides first.
Specifying Julia
First, you can specify to use the Julia language in the base
function.
def build():
base(os="ubuntu20.04", language="julia")
Julia packages
You can install Julia packages with install.julia_packages
function. The following example installs Example
:
def build():
base(os="ubuntu20.04", language="julia")
install.julia_packages(name = [
"Example",
])
Configure Julia package server
By default, the Julia package server "pkg.julialang.org"
is used when downloading and installing Julia packages. However, you can specify any other servers via config.julia_pkg_server()
like the following:
def build():
base(os="ubuntu20.04", language="julia")
config.julia_pkg_server(url="https://mirrors.tuna.tsinghua.edu.cn/julia")
install.julia_packages(name = [
"Example",
])
Specifying shell program
You can specify shell program used in the environment with shell
function. The following example uses zsh
:
def build():
base(os="ubuntu20.04", language="julia")
shell("zsh")
Specifying VSCode extensions
You can specify VSCode extensions with install.vscode_extensions
function. The following example installs julialang.language-julia
[1]:
def build():
base(os="ubuntu20.04", language="julia")
install.vscode_extensions(["julialang.language-julia"])
open-vsx is used instead of Microsoft VSCode Marketplace due to licensing issues. ↩︎