VSCode ​
Default Settings ​
Arkanum tests for existing VSCode user config. If not preset, it sets the default config with these values:
Key | Value | Description |
---|---|---|
window.menuBarVisibility | compact | Uses compact main menu bar in hamburger style. |
workbench.colorTheme | One Dark Pro Darker | Enables default color theme. |
workbench.iconTheme | vscode-icons | Enables default icon theme for file tree. |
editor.fontFamily | 'FiraCode', 'FiraCode Nerd Font', 'FiraCode NF', Consolas, 'Courier New', monospace | Enables included FiraCode font for all possible variations in the file editor. |
terminal.integrated.fontFamily | 'FiraCode Mono', 'FiraCode Nerd Font Mono', 'FiraCode NFM', Consolas, monospace | Enables included FiraCode fonts in terminal views. Uses mono variation to enable showing icons. |
editor.fontLigatures | true | Enables font ligatures supported in FiraCode: -> , --- , != ... |
editor.formatOnSave | true | Enables format on save features based on language config. |
extensions.autoUpdate | false | Disables automatic update for installed extensions. Prevents running into VSCode compatibility problems. |
git.confirmSync | false | Disables notification popup for git sync action. |
telemetry.telemetryLevel | off | Disables sending telemetry data for VSCode and GitLense Extension. |
Extensions ​
Arkanum includes the following VSCode extensions from the Open VSX Registry:
GitLense ​
Adds advanced git features with the GitLense extension.
One Dark Pro ​
Adds One Dark Pro theme as default color theme.
vscode-icons ​
Adds vscode-icons extension as default icon theme.
Referenced Source Files ​
Dockerfile
ADD arkanum /usr/bin/
ADD arkanum-completion /etc/bash_completion.d/
RUN \
chmod +x /usr/bin/arkanum && \
chmod +x /etc/bash_completion.d/arkanum-completion && \
echo 'source /etc/bash_completion.d/arkanum-completion' >> /etc/bash.bashrc && \
touch "$HOME/enable_motd" && \
echo "if [[ ! -e \"$HOME/data/User/settings.json\" ]]; then arkanum config install-extensions && arkanum config reset-codesettings && \
echo -e \"🧙 \\e[32markanum\\e[0m: Please reload Arkanum to finalize the setup...\" && read foo; fi" >> /etc/bash.bashrc && \
echo "if [[ -e \"$HOME/enable_motd\" ]]; then echo -e \"Use 🧙 \\e[32m'arkanum'\\e[0m to install missing runtimes like dotnet or NodeJs.\"; fi" >> /etc/bash.bashrc
bash
# VSCode user settings file
say "Setting VScode base settings.($CODEFILE)" "VSCode"
cat <<EOF | tee "$CODEFILE"
{
"window.menuBarVisibility": "compact",
"workbench.colorTheme": "One Dark Pro Darker",
"workbench.iconTheme": "vscode-icons",
"editor.fontFamily": "'FiraCode', 'FiraCode Nerd Font', 'FiraCode NF', Consolas, 'Courier New', monospace",
"terminal.integrated.fontFamily": "'FiraCode Mono', 'FiraCode Nerd Font Mono', 'FiraCode NFM', Consolas, monospace",
"editor.fontLigatures": true,
"editor.formatOnSave": true,
"extensions.autoUpdate": false,
"git.confirmSync": false,
"telemetry.telemetryLevel": "off"
}
EOF