Skip to content

Commit 989cc22

Browse files
authored
Add prompt prefix to devcontainers (#14)
This is used by my dotfiles to replace user@host (which is a bit pointless in devcontainers).
1 parent 699da52 commit 989cc22

File tree

2 files changed

+3
-1
lines changed

2 files changed

+3
-1
lines changed

src/personal-setup/devcontainer-feature.json

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
{
22
"id": "personal-setup",
3-
"version": "4.0.0",
3+
"version": "4.1.0",
44
"name": "Personal Setup",
55
"description": "Sets up my desired software and configuration for any devcontainer environment.",
66
"mounts": [
@@ -17,6 +17,7 @@
1717
],
1818
"containerEnv": {
1919
"RCRC": "/mnt/dotfiles/tag-devcontainer/rcrc",
20+
"PROMPT_PREFIX": "", // Nerd font "remote" icon
2021
"_IS_DEVCONTAINER": "true"
2122
},
2223
"postCreateCommand": "rcup -vf"

test/personal-setup/test.sh

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -11,5 +11,6 @@ check "tree is available" bash -c "which tree"
1111
# Use a dotfile that should _always_ be present on any system
1212
check "dotfiles are installed" bash -c "test -f $HOME/.rcrc"
1313
check "_IS_DEVCONTAINER is set" bash -c "test \"\$_IS_DEVCONTAINER\" = \"true\""
14+
check "PROMPT_PREFIX is set" bash -c "test \"\$PROMPT_PREFIX\" = \"\""
1415

1516
reportResults

0 commit comments

Comments
 (0)