diff --git a/.config/julia/startup.jl b/.config/julia/startup.jl index d97c476..dac2f62 100644 --- a/.config/julia/startup.jl +++ b/.config/julia/startup.jl @@ -2,6 +2,5 @@ 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) diff --git a/.config/shell/bin/upd b/.config/shell/bin/upd index 7b0bf4c..1a955d0 100755 --- a/.config/shell/bin/upd +++ b/.config/shell/bin/upd @@ -23,8 +23,6 @@ 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() {