updates to devcontainer in templates

Author: oscarlevin

pretext/constants.py

@@ -261,7 +261,6 @@
     "pretext-cli.yml": Path(".github", "workflows", "pretext-cli.yml"),
     "pretext-deploy.yml": Path(".github", "workflows", "pretext-deploy.yml"),
     "installPandoc.sh": Path(".devcontainer", "installPandoc.sh"),
-    "installSage.sh": Path(".devcontainer", "installSage.sh"),
 }
 
 DEPRECATED_PROJECT_RESOURCES = {
@@ -270,6 +269,7 @@
     ".devcontainer.json": Path(".devcontainer.json"),
     "installPretext": Path(".devcontainer", "installPretext"),
     "installLatex": Path(".devcontainer", "installLatex"),
+    "installSage.sh": Path(".devcontainer", "installSage.sh"),
 }
 
 GIT_RESOURCES = [
@@ -278,5 +278,4 @@
     "pretext-deploy.yml",
     "devcontainer.json",
     "installPandoc.sh",
-    "installSage.sh",
 ]

templates/devcontainer.json

@@ -67,8 +67,9 @@
         "editor.quickSuggestions": {
           "other": "off"
         },
-        "files.autoSave": "afterDelay",
+        "editor.suggest.showProperties": false,
         "editor.snippetSuggestions": "bottom",
+        "files.autoSave": "afterDelay",
         "xml.validation.enabled": true,
         "redhat.telemetry.enabled": false,
         "CodeChat.CodeChatServer.Command": "CodeChat_Server"

templates/installPandoc.sh

@@ -3,7 +3,7 @@
 # This file was automatically generated with PreTeXt {VERSION}.
 # If you modify this file, PreTeXt will no longer automatically update it.
 
-wget https://github.com/jgm/pandoc/releases/download/3.6.4/pandoc-3.6.4-1-amd64.deb -O pandoc.deb
+wget https://github.com/jgm/pandoc/releases/download/3.8.3/pandoc-3.8.3-1-amd64.deb -O pandoc.deb
 
 # wait for 60 second and then double check that no other script is using apt-get:
 sleep 60
@@ -12,6 +12,6 @@ while fuser /var/lib/dpkg/lock >/dev/null 2>&1; do
     sleep 15
 done
 # Install pandoc
-sudo apt-get install -y --no-install-recommends ./pandoc.deb 
+apt-get install -y --no-install-recommends ./pandoc.deb 
 
 rm pandoc.deb