Merge pull request #16 from jodisfields/new_base

update base image
jodisfields · Oct 1, 2022 · 357d19d · 357d19d
2 parents 2edbe8a + a684c2c
commit 357d19d
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 3 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -1,5 +1,5 @@
 # Start from the code-server Debian base image
-FROM codercom/code-server:3.12.0
+FROM codercom/code-server:latest
 
 USER coder
 
@@ -29,7 +29,7 @@ RUN sudo chown -R coder:coder /home/coder/.local
 # Install apt packages:
 # RUN sudo apt-get install -y ubuntu-make
 
-# Copy files: 
+# Copy files:
 # COPY deploy-container/myTool /home/coder/myTool
 
 # -----------

diff --git a/deploy-container/settings.json b/deploy-container/settings.json
@@ -3,5 +3,18 @@
   "git.postCommitCommand": "sync",
   "git.enableSmartCommit": true,
   "git.confirmSync": false,
-  "git.autofetch": true
+  "git.autofetch": true,
+  "editor.fontLigatures": true,
+  "editor.bracketPairColorization.enabled": true,
+  "editor.inlineSuggest.enabled": true,
+  "editor.mouseWheelZoom": false,
+  "editor.parameterHints.cycle": true,
+  "editor.smoothScrolling": true,
+  "editor.stablePeek": true,
+  "editor.suggest.localityBonus": true,
+  "editor.suggest.preview": true,
+  "editor.suggest.shareSuggestSelections": true,
+  "editor.suggestSelection": "first",
+  "editor.tabCompletion": "on",
+  "editor.fontSize": 16
 }