kaubu · July 22, 2023 20:35
diff --git a/codium_backup.sh b/codium_backup.sh
 # Save your settings.json somewhere

 # Get list of extensions
 codium --list-extensions > extensions.txt

 # Install extensions from list
 cat extensions.txt | % { "codium --install-extension $_" }
	# Save your settings.json somewhere

	# Get list of extensions
	codium --list-extensions > extensions.txt

	# Install extensions from list
	cat extensions.txt \| % { "codium --install-extension $_" }