wip: update READMEs, push new images

containers/hepc/README.org

@@ -29,6 +29,16 @@
      wget $(echo $url|sed 's|http://hepc|http://127.0.0.1:8070|g;') 
    #+END_SRC
 
+** Access this container from another
+   #+BEGIN_SRC sh 
+     # Enter container
+     docker exec -it mrva-docker-client-ghmrva-1 bash
+
+     # Request index 
+     curl hepc:8070/index
+   #+END_SRC
+
+
 ** Push this container
    #+BEGIN_SRC sh
      # Push container

containers/vscode/README.org

@@ -16,7 +16,8 @@
 
   Inside the container:
 
-  - Setup inside the container
+  - [ ] Setup inside the container
+    XX: Add one for C++
     #+BEGIN_SRC shell
       cd 
       export PATH=/opt/codeql:$PATH
@@ -25,9 +26,10 @@
       codeql pack add codeql/python-all@1.0.6
     #+END_SRC
 
-  - Create a new file =qldemo/simple.ql= with this query.  Open it in VS Code.
+  - [ ] Create a new file =qldemo/simple.ql= with this query.  Open it in VS Code.
     The plugin will download the CodeQL binaries (but never use them -- the
     configuration redirects)
+    XX: c++
     #+BEGIN_SRC sh 
       cd
       cat > qldemo/simple.ql <<eof
@@ -36,7 +38,7 @@
       eof
     #+END_SRC
 
-  - Create database.
+  - [ ] Create database.
     #+BEGIN_SRC sh 
       cd ~/qldemo
 
@@ -47,9 +49,9 @@
       codeql database create --language=python -s . -v short-db
     #+END_SRC
 
-  - Set the database as default and run the query =simple.ql=
+  - [ ] Set the database as default and run the query =simple.ql=
 
-  - Add the customized VS Code plugin
+  - [ ] Add the customized VS Code plugin
     On the host
     #+BEGIN_SRC sh 
       cd ~/work-gh/mrva/vscode-codeql
@@ -76,8 +78,8 @@
       /bin/code-server --force --install-extension vscode-codeql-*.vsix
     #+END_SRC
 
-  - Capture the state of this container and create a new image from it.
-
+  - [ ] Capture the state of this container and create a new image from it.
+    
     #+BEGIN_SRC sh 
       docker ps
       # Check id column.  Use it below.
@@ -95,7 +97,7 @@
     #+END_SRC
     Again connect to it at http://localhost:9080/?folder=/home/coder, password is =mrva=.
 
-  - Push this container
+  - [ ] Push this container
     #+BEGIN_SRC sh 
       # Common
       export CSI_TARGET=code-server-initialized:0.1.24
@@ -105,7 +107,7 @@
       docker push ghcr.io/hohn/${CSI_TARGET}
     #+END_SRC
 
-  - Test the registry image
+  - [ ] Test the registry image
     #+BEGIN_SRC sh 
       # Test pushed container
       docker pull ghcr.io/hohn/${CSI_TARGET}

containers/vscode/settings.json

@@ -1,4 +1,7 @@
 {
     "codeQL.runningQueries.numberOfThreads": 2,
-    "codeQL.cli.executablePath": "/opt/codeql/codeql"
+    "codeQL.cli.executablePath": "/opt/codeql/codeql",
+
+    "codeQL.variantAnalysis.enableGhecDr": true,
+    "github-enterprise.uri": "http://server:8080/"    
 }