From b6ce349681fd480e112b3b2831021bcb21e0290a Mon Sep 17 00:00:00 2001 From: PowerUser64 Date: Sat, 25 Jan 2025 23:34:31 -0800 Subject: [PATCH 1/2] julia: add nemo --- .config/julia/startup.jl | 1 + 1 file changed, 1 insertion(+) diff --git a/.config/julia/startup.jl b/.config/julia/startup.jl index dac2f62..d97c476 100644 --- a/.config/julia/startup.jl +++ b/.config/julia/startup.jl @@ -2,5 +2,6 @@ using OhMyREPL using Pluto using Symbolics using Unitful +using Nemo τ = 2*π pluto_custom() = Pluto.run(;port=8080, host="0.0.0.0", auto_reload_from_file=true, require_secret_for_access=false, warn_about_untrusted_code=false) From 2a10b068c62439555d2352116f7a812227081532 Mon Sep 17 00:00:00 2001 From: PowerUser64 Date: Sat, 25 Jan 2025 23:34:46 -0800 Subject: [PATCH 2/2] upd(fix): initialize REPOS_TO_UPDATE --- .config/shell/bin/upd | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.config/shell/bin/upd b/.config/shell/bin/upd index 1a955d0..7b0bf4c 100755 --- a/.config/shell/bin/upd +++ b/.config/shell/bin/upd @@ -23,6 +23,8 @@ fi # Avoiding copy pasting this over and over g() { git -C "$REPO" "$@"; } +REPOS_TO_UPDATE="${REPOS_TO_UPDATE:-}" + # path_append from https://superuser.com/questions/39751/add-directory-to-path-if-its-not-already-there # checks if a path is already in the PATH and if it exists path_append() {