chore: update dev environment
This commit is contained in:
parent
7223f2cd8f
commit
24c94aed98
4 changed files with 71 additions and 0 deletions
42
.devcontainer/devcontainer.json
Normal file
42
.devcontainer/devcontainer.json
Normal file
|
@ -0,0 +1,42 @@
|
|||
// For format details, see https://aka.ms/devcontainer.json. For config options, see the
|
||||
// README at: https://github.com/devcontainers/templates/tree/main/src/javascript-node
|
||||
{
|
||||
"name": "Node.js & TypeScript",
|
||||
// Or use a Dockerfile or Docker Compose file. More info: https://containers.dev/guide/dockerfile
|
||||
"image": "mcr.microsoft.com/devcontainers/base:jammy",
|
||||
// mount the ssh public identity file for the this project
|
||||
// I limit to just what I need and not the whole ~/.ssh folder
|
||||
"mounts": [
|
||||
"source=${localEnv:HOME}${localEnv:USERPROFILE}/.ssh/personal_id_rsa.pub,target=/home/vscode/.hostssh/id_rsa.pub,readonly,type=bind,consistency=cached"
|
||||
],
|
||||
// Features to add to the dev container. More info: https://containers.dev/features.
|
||||
"features": {
|
||||
"ghcr.io/devcontainers-contrib/features/node-asdf": {},
|
||||
"ghcr.io/devcontainers/features/docker-outside-of-docker:1": {}
|
||||
},
|
||||
|
||||
// Use 'forwardPorts' to make a list of ports inside the container available locally.
|
||||
// "forwardPorts": [],
|
||||
|
||||
"customizations": {
|
||||
"vscode": {
|
||||
"extensions": [
|
||||
"mechatroner.rainbow-csv",
|
||||
"ms-vscode-remote.remote-containers",
|
||||
"dbaeumer.vscode-eslint",
|
||||
"GitHub.copilot",
|
||||
"GitHub.copilot-chat",
|
||||
"esbenp.prettier-vscode",
|
||||
"rvest.vs-code-prettier-eslint",
|
||||
"bierner.markdown-mermaid",
|
||||
"stylelint.vscode-stylelint"
|
||||
]
|
||||
}
|
||||
},
|
||||
|
||||
// Use 'postCreateCommand' to run commands after the container is created.
|
||||
"postCreateCommand": "/bin/bash ./.devcontainer/scripts/tools.sh >> ~/post-create-tools.log"
|
||||
|
||||
// Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root.
|
||||
// "remoteUser": "root"
|
||||
}
|
18
.devcontainer/scripts/tools.sh
Normal file
18
.devcontainer/scripts/tools.sh
Normal file
|
@ -0,0 +1,18 @@
|
|||
#!/bin/bash
|
||||
|
||||
mkdir -p ~/.ssh && \
|
||||
touch ~/.ssh/known_hosts && \
|
||||
sudo tee ~/.ssh/config > /dev/null << EOF
|
||||
Host github.com
|
||||
HostName github.com
|
||||
PreferredAuthentications publickey
|
||||
IdentityFile ~/.hostssh/id_rsa.pub
|
||||
EOF
|
||||
|
||||
sudo chown -R vscode:vscode ~/.ssh
|
||||
|
||||
# Install Node.js 6.9.1
|
||||
asdf install nodejs 6.9.1
|
||||
asdf local nodejs 6.9.1
|
||||
|
||||
git config --global --add safe.directory /workspaces/webssh2
|
1
.tool-versions
Normal file
1
.tool-versions
Normal file
|
@ -0,0 +1 @@
|
|||
nodejs 6.9.1
|
|
@ -234,3 +234,13 @@ function downloadLog () { // eslint-disable-line
|
|||
}
|
||||
term.focus()
|
||||
}
|
||||
|
||||
// Add an event listener for capturing Ctrl + Shift + 6
|
||||
document.addEventListener('keydown', function(event) {
|
||||
if (event.ctrlKey && event.shiftKey && event.code === 'Digit6') {
|
||||
// Prevent the default action
|
||||
event.preventDefault();
|
||||
// Emit the desired key sequence to the server
|
||||
socket.emit('data', '\x1E'); // 0x1E is the RS control character
|
||||
}
|
||||
});
|
Loading…
Reference in a new issue