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