Minor cleanup

notes/cli-end-to-end-demo.org

@@ -222,31 +222,15 @@
   The first run uses the test query to verify basic functionality, but it returns
   no results.
 
-  XX: 
-  #+BEGIN_SRC sh 
-    docker exec -it mrvacommander-client-ghmrva-1 /bin/bash
-    ls /usr/local/bin/gh-mrva
-
-    docker exec -it mrvacommander-client-ghmrva-1 /usr/local/bin/gh-mrva -h
-
-    ~/work-gh/mrva/mrvacommander/client/containers/mrvadata/
-    ls /data/mrvacommander/qldbtools/*
-
-    docker exec -it mrvacommander-client-ghmrva-1 /bin/bash
-    ls 
-
-  #+END_SRC
-
-
 ** Run MRVA from command line
    # From ~/work-gh/mrva/gh-mrva
    
-   1. [X] Check mrva cli
+   1. Check mrva cli
       #+BEGIN_SRC sh 
         docker exec -it mrvacommander-client-ghmrva-1 /usr/local/bin/gh-mrva -h
       #+END_SRC
 
-   2. [X] Set up the configuration
+   2. Set up the configuration
       #+BEGIN_SRC sh 
         docker exec -i mrvacommander-client-ghmrva-1 \
                sh -c 'mkdir -p /root/.config/gh-mrva/'
@@ -263,7 +247,7 @@
         docker exec -i mrvacommander-client-ghmrva-1 cat /root/.config/gh-mrva/config.yml
       #+END_SRC
 
-   3. [X] Provide the repository list file
+   3. Provide the repository list file
       #+BEGIN_SRC sh 
         docker exec -i mrvacommander-client-ghmrva-1 \
                sh -c 'mkdir -p /root/work-gh/mrva/gh-mrva'
@@ -288,7 +272,7 @@
         eof
       #+END_SRC
 
-   4. [X] Provide the CodeQL query
+   4. Provide the CodeQL query
       #+BEGIN_SRC sh 
         cat | docker exec -i mrvacommander-client-ghmrva-1 \
                      sh -c 'cat > /root/work-gh/mrva/gh-mrva/FlatBuffersFunc.ql' <<eof
@@ -312,7 +296,7 @@
 
       #+END_SRC
 
-   5. [X] Submit the mrva job
+   5. Submit the mrva job
       #+BEGIN_SRC sh 
         docker exec -i mrvacommander-client-ghmrva-1 /usr/local/bin/gh-mrva \
                submit --language cpp --session mirva-session-1360           \
@@ -320,7 +304,7 @@
                --query /root/work-gh/mrva/gh-mrva/FlatBuffersFunc.ql     
       #+END_SRC
 
-   6. [X] Check the status
+   6. Check the status
       #+BEGIN_SRC sh 
         # Check the status
         ./gh-mrva status --session mirva-session-1360
@@ -330,7 +314,7 @@
 
       #+END_SRC
 
-   7. [X] Download the sarif files, optionally also get databases.  For the current
+   7. Download the sarif files, optionally also get databases.  For the current
       query / database combination there are zero result hence no downloads.
       #+BEGIN_SRC sh 
         docker exec -i mrvacommander-client-ghmrva-1 /usr/local/bin/gh-mrva \
@@ -339,7 +323,8 @@
                --output-dir mirva-session-1360
       #+END_SRC
 
-** Write query that has some results
+** TODO Write query that has some results
+   XX:
    First, get the list of paths corresponding to the previously selected
    databases. 
    #+BEGIN_SRC sh