diff --git a/.local/bin/code_server_export_extensions b/.local/bin/code_server_export_extensions index cdc8535..c62aa9f 100755 --- a/.local/bin/code_server_export_extensions +++ b/.local/bin/code_server_export_extensions @@ -1,3 +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