feat: add devcontainers configuration (#12783)

Co-authored-by: Vatsal Gupta <40350810+gvatsal60@users.noreply.github.com>
This commit is contained in:
Marc Cornellà 2024-10-27 20:46:46 +01:00 committed by GitHub
parent fa64758aea
commit c690f73161
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
4 changed files with 30 additions and 1 deletions

View File

@ -0,0 +1,20 @@
{
"image": "mcr.microsoft.com/devcontainers/base:noble",
"features": {
"ghcr.io/devcontainers/features/common-utils": {
"installZsh": true,
"configureZshAsDefaultShell": true,
"username": "vscode",
"userUid": 1000,
"userGid": 1000
}
},
"postCreateCommand": "dir=/workspaces/ohmyzsh; rm -rf $HOME/.oh-my-zsh && ln -s $dir $HOME/.oh-my-zsh && cp $dir/templates/minimal.zshrc $HOME/.zshrc && chgrp -R 1000 $dir && chmod g-w,o-w $dir",
"customizations": {
"codespaces": {
"openFiles": [
"README.md"
]
}
}
}

View File

@ -9,3 +9,7 @@ indent_style = space
[*.py] [*.py]
indent_size = 4 indent_size = 4
[devcontainer.json]
indent_size = 4
indent_style = tab

5
templates/minimal.zshrc Normal file
View File

@ -0,0 +1,5 @@
export ZSH="$HOME/.oh-my-zsh"
ZSH_THEME="robbyrussell"
plugins=(git)
source $ZSH/oh-my-zsh.sh

View File

@ -2,7 +2,7 @@
# export PATH=$HOME/bin:$HOME/.local/bin:/usr/local/bin:$PATH # export PATH=$HOME/bin:$HOME/.local/bin:/usr/local/bin:$PATH
# Path to your Oh My Zsh installation. # Path to your Oh My Zsh installation.
export ZSH=$HOME/.oh-my-zsh export ZSH="$HOME/.oh-my-zsh"
# Set name of the theme to load --- if set to "random", it will # Set name of the theme to load --- if set to "random", it will
# load a random theme each time Oh My Zsh is loaded, in which case, # load a random theme each time Oh My Zsh is loaded, in which case,