From 045df5631c7c2860aeec8d409dd57be429dc5ba5 Mon Sep 17 00:00:00 2001 From: arnaucube Date: Wed, 8 Dec 2021 16:31:06 +0100 Subject: [PATCH] Add nvim Sage syntax highligting & minor updates - Add nvim Sage syntax highligting - Update installer node for v16 - Update i3 config to restart status bar to avoid problems when extending screens to hdmi --- bin/screens | 3 +++ init.vim | 5 +++++ install-new-server.sh | 4 ++-- 3 files changed, 10 insertions(+), 2 deletions(-) diff --git a/bin/screens b/bin/screens index 1d6e1ee..e689498 100755 --- a/bin/screens +++ b/bin/screens @@ -29,3 +29,6 @@ if len(sys.argv)>2: # xrandr --output HDMI-2 --mode 3840x2160 subprocess.run(["xrandr", "--output", d[1], "--mode", "3840x2160"]) + # restart i3 status bar to avoid being frozen + subprocess.run(["i3-msg", "restart"]) + diff --git a/init.vim b/init.vim index eea24dc..20fae44 100644 --- a/init.vim +++ b/init.vim @@ -179,6 +179,11 @@ let g:rainbow_active = 1 au BufRead,BufNewFile *.circom set filetype=circom au BufRead,BufNewFile *.circuit set filetype=go-snark-circuit +"" sage syntax +augroup filetypedetect + au! BufRead,BufNewFile *.sage,*.spyx,*.pyx setfiletype python +augroup END + " for file watching set backupcopy=yes diff --git a/install-new-server.sh b/install-new-server.sh index d7bd19e..1bd7b9f 100644 --- a/install-new-server.sh +++ b/install-new-server.sh @@ -51,8 +51,8 @@ wget https://golang.org/dl/go1.17.1.linux-amd64.tar.gz tar -C /usr/local -xzf go1.17.1.linux-amd64.tar.gz # nodejs -echo "installing nodejs v14" -curl -sL https://deb.nodesource.com/setup_14.x | bash - +echo "installing nodejs v16" +curl -sL https://deb.nodesource.com/setup_16.x | bash - apt-get install -y nodejs echo "installing npm http-server"