From eb94c4d76e35d3d9d6d5b5d64bf38f7071cbf5ce Mon Sep 17 00:00:00 2001 From: Marko Tadic Date: Mon, 18 Dec 2023 21:04:33 +0100 Subject: [PATCH] Add "vscode" plugin https://github.com/microsoft/vscode-remote-release/issues/1688#issuecomment-1708577380 --- plugins/vscode.sh | 5 +++++ system/init.sh | 1 + 2 files changed, 6 insertions(+) create mode 100644 plugins/vscode.sh diff --git a/plugins/vscode.sh b/plugins/vscode.sh new file mode 100644 index 0000000..1e77a05 --- /dev/null +++ b/plugins/vscode.sh @@ -0,0 +1,5 @@ +# https://github.com/tadija/AEDotFiles +# vscode.sh + +# https://github.com/microsoft/vscode-remote-release/issues/1688#issuecomment-1708577380 +alias sudocode='SUDO_EDITOR="$(which code) --wait" sudoedit' diff --git a/system/init.sh b/system/init.sh index 04cba29..f881be3 100644 --- a/system/init.sh +++ b/system/init.sh @@ -6,6 +6,7 @@ source $df/system/commands.sh for plugin in $dfplugins; do local file=$(df-find $plugin) + echo "df reloading: $file" if [ -e "$file" ]; then source $file fi