Merge branch 'master' into 'master'

VS Code devcontainer support with james-yu.latex-workshop extension

See merge request !4

.devcontainer/Dockerfile

+FROM konttipoju/tinytex:2019-12g
+
+###
+## Prepare for development with VSCode.
+###
+
+# Avoid warnings by switching to noninteractive
+ENV DEBIAN_FRONTEND=noninteractive
+
+# Or your actual UID, GID on Linux if not the default 1000
+ARG USERNAME=vscode
+ARG USER_UID=1000
+ARG USER_GID=$USER_UID
+
+# Configure apt and install packages
+RUN apt-get update \
+    && apt-get -y install --no-install-recommends apt-utils dialog 2>&1 \
+    #
+    # Verify git, process tools, lsb-release (common in install instructions for CLIs) installed
+    && apt-get -y install git procps lsb-release \
+    # Install some tools (not necessary for running the app, but useful)
+    && apt-get -y install iproute2 less tmux vim zsh \
+    #
+    # Create a non-root user to use if preferred - see https://aka.ms/vscode-remote/containers/non-root-user.
+    && groupadd --gid $USER_GID $USERNAME \
+    && useradd -s /bin/bash --uid $USER_UID --gid $USER_GID -m $USERNAME \
+    # [Optional] Uncomment the next three lines to add sudo support
+    && apt-get install -y sudo \
+    && echo $USERNAME ALL=\(root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME \
+    && chmod 0440 /etc/sudoers.d/$USERNAME \
+    #
+    # Clean up
+    && apt-get autoremove -y \
+    && apt-get clean -y \
+    && rm -rf /var/lib/apt/lists/*
+
+# Switch back to dialog for any ad-hoc use of apt-get
+ENV DEBIAN_FRONTEND=
+
+CMD ["/bin/sh", "-c", "while sleep 1000; do :; done"]
\ No newline at end of file

.devcontainer/devcontainer.json

+// For format details, see https://aka.ms/vscode-remote/devcontainer.json
+{
+    "name": "Thesis",
+    "dockerFile": "Dockerfile",
+    
+    // Uncomment the next line if you want to publish any ports.
+    // "appPort": [],
+    
+    "mounts": [
+        "source=${localWorkspaceFolder}/latex,target=/thesis,type=bind,consistency=cached"
+    ],
+
+    // Default container specific settings.json values
+    "settings":  {
+        "terminal.integrated.cwd": "/thesis",
+        "terminal.integrated.shell.linux": "/bin/bash",
+        "terminal.shell": "bash"
+    },
+    
+    "workspaceFolder": "/thesis",
+    
+    "shutdownAction": "none",
+    
+    
+    "extensions": [
+        "james-yu.latex-workshop",
+        "eamodio.gitlens",
+        "Gruntfuggly.todo-tree",
+        "sandcastle.vscode-open",
+        "timonwong.shellcheck",
+        "wayou.vscode-todo-highlight"
+    ]
+}

.gitignore

@@ -18,4 +18,5 @@
 *.lot
 *.lof
 *.ilg
+*.synctex.gz
 _minted-*/