Skip to content

Commit 4024193

Browse files
authored
Merge pull request #265 from r-devel/hide-git
update: hide and disable git feature inside r-devcontainer
2 parents 9204a15 + 548f07f commit 4024193

File tree

4 files changed

+17
-59
lines changed

4 files changed

+17
-59
lines changed

.devcontainer/devcontainer.json

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,21 @@
77
"customizations": {
88
"vscode": {
99
"settings": {
10+
"git.ignoredRepositories": ["."],
11+
"files.exclude": {
12+
"**/.vscode": true,
13+
"**/.devcontainer": true,
14+
"**/.git": true,
15+
"**/.github": true,
16+
"**/.gitignore": true,
17+
"**/.gitpod.Dockerfile": true,
18+
"**/.gitpod.yml": true,
19+
"**/.markdownlint-cli2.yaml": true,
20+
"**/.pre-commit-config.yaml": true,
21+
"**/Dockerfile": true,
22+
"**/mkdocs.yml": true,
23+
"**/scripts": true
24+
},
1025
"editor.tabSize": 8,
1126
"editor.indentSize": 4,
1227
"editor.detectIndentation": false,

.gitignore

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,3 +5,4 @@ R-devel.tar.gz
55
/venv
66
.cache/
77
.Rproj.user
8+
.vscode/

reinstall-cmake.sh

Lines changed: 0 additions & 58 deletions
This file was deleted.

scripts/localscript.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,7 @@ cat $WORK_DIR/scripts/welcome_msg.sh >> ~/.bashrc
2525
#bash ~/.bashrc
2626

2727
# Remove git directory if it exists
28-
rm -rf .git
28+
#rm -rf .git
2929

3030
# copying vscode extension settings from devcontainer json to vscode settings json using jq
3131
if [ -f "$DEVCONTAINER_JSON" ]; then

0 commit comments

Comments
 (0)