From 582895b5433a01b6f3b820bc5bc05b4ea9c25e2b Mon Sep 17 00:00:00 2001 From: Victor Westerlund Date: Mon, 22 Dec 2025 22:22:09 +0000 Subject: [PATCH] fix: update gitignore --- .gitignore | 2 +- .local/bin/scripts/code_server_export_extensions.sh | 4 ++++ 2 files changed, 5 insertions(+), 1 deletion(-) create mode 100755 .local/bin/scripts/code_server_export_extensions.sh diff --git a/.gitignore b/.gitignore index 96179f9..d0adfc7 100644 --- a/.gitignore +++ b/.gitignore @@ -16,9 +16,9 @@ !.local/bin/ !.local/bin/scripts/ !.local/bin/scripts/install_dotfiles.sh +!.local/bin/scripts/code_server_export_extensions.sh !.local/bin/git-hooks/ !.local/bin/git-hooks/pre-commit -!.local/bin/code_server_export_extensions !.local/share/ !.local/share/code-server/ !.local/share/code-server/User/ diff --git a/.local/bin/scripts/code_server_export_extensions.sh b/.local/bin/scripts/code_server_export_extensions.sh new file mode 100755 index 0000000..c62aa9f --- /dev/null +++ b/.local/bin/scripts/code_server_export_extensions.sh @@ -0,0 +1,4 @@ +#!/bin/sh + +# Add each extension to a JSON array and write to file in code-server User dir +code-server --list-extensions | jq -R -s 'split("\n") | .[:-1]' > $HOME/.local/share/code-server/User/extensions.json