Skip to content
Snippets Groups Projects
Commit fdc28467 authored by Armin Mackensen's avatar Armin Mackensen
Browse files

hotfix

parent 44a6b02c
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 3 additions and 0 deletions
EmacsSetupScript.py
+ 3
− 0
View file @ fdc28467
...@@ -5,6 +5,7 @@ from pathlib import Path ...@@ -5,6 +5,7 @@ from pathlib import Path
gitRepo = "https://git.se.informatik.uni-kiel.de/oceandsl/cp-dsl-replication" gitRepo = "https://git.se.informatik.uni-kiel.de/oceandsl/cp-dsl-replication"
nameOfRelease = "org.oceandsl.configuration.ide-1.3.0-SNAPSHOT-ls.jar" nameOfRelease = "org.oceandsl.configuration.ide-1.3.0-SNAPSHOT-ls.jar"
pathToJar = "/home/" + getpass.getuser() + "/bin/" + nameOfRelease
#get the newest oceandsl lsp #get the newest oceandsl lsp
os.system("sudo apt update && sudo apt install emacs") os.system("sudo apt update && sudo apt install emacs")
...@@ -14,6 +15,8 @@ os.system("wget -O " + "~/bin/" + nameOfRelease + " " + gitRepo + "/-/raw/master ...@@ -14,6 +15,8 @@ os.system("wget -O " + "~/bin/" + nameOfRelease + " " + gitRepo + "/-/raw/master
#get the newest oceandsl-mode for emacs #get the newest oceandsl-mode for emacs
os.system("wget -O ~/bin/ " + gitRepo + "/-/raw/master/oceandsl-mode.el") os.system("wget -O ~/bin/ " + gitRepo + "/-/raw/master/oceandsl-mode.el")
data = Path(path.expanduser("~/bin/oceandsl-mode.el")).read_text().replace("kali", getpass.getuser())
Path(path.expanduser("~/bin/oceandsl-mode.el")).write_text(data)
#get latest emacs init file #get latest emacs init file
os.system("wget -O ~/temp/init.el " + gitRepo + "/-/raw/master/init.el") os.system("wget -O ~/temp/init.el " + gitRepo + "/-/raw/master/init.el")
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment