From 3bc62e2d844c769505980f977df3f18f07205658 Mon Sep 17 00:00:00 2001 From: chortbauer Date: Wed, 2 Dec 2020 04:23:21 +0100 Subject: [PATCH] julia: Add shortcut (#1625) Add shortcut to launch Julia repl --- bucket/julia.json | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/bucket/julia.json b/bucket/julia.json index 3fdf010289..21b1dbfd4f 100644 --- a/bucket/julia.json +++ b/bucket/julia.json @@ -31,5 +31,11 @@ "hash": { "url": "https://julialang-s3.julialang.org/bin/checksums/julia-$version.sha256" } - } + }, + "shortcuts": [ + [ + "bin\\julia.exe", + "Julia" + ] + ] }