diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile new file mode 100644 index 0000000000000000000000000000000000000000..6121fdb0068fbc1d01ef09e31e8a4e3c9e83d9fa --- /dev/null +++ b/.devcontainer/Dockerfile @@ -0,0 +1,40 @@ +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 diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json new file mode 100644 index 0000000000000000000000000000000000000000..8c6ad065e0acf73dc18e06aee59f0769040645a6 --- /dev/null +++ b/.devcontainer/devcontainer.json @@ -0,0 +1,33 @@ +// 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" + ] +} diff --git a/.gitignore b/.gitignore index fbdc6ebb04088d08abb74b75b72690f75571ef7c..09840ffae1756f59dcf31cd5e86671c033a7ad68 100644 --- a/.gitignore +++ b/.gitignore @@ -18,4 +18,5 @@ *.lot *.lof *.ilg +*.synctex.gz _minted-*/