From 7f39e8c83dbc666ec05597ac1fee09c9c5794538 Mon Sep 17 00:00:00 2001 From: Victor Westerlund Date: Sun, 14 Sep 2025 12:29:31 +0200 Subject: [PATCH] doc: add comment to shell script --- .local/bin/code_server_export_extensions | 1 + 1 file changed, 1 insertion(+) 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