split into roles

This commit is contained in:
Pim Kunis 2022-12-02 20:10:38 +01:00
parent 4d072894ec
commit 74b67b7e27
17 changed files with 186 additions and 110 deletions

View file

@ -0,0 +1,5 @@
#!/bin/bash
set -euo pipefail
IFS=$'\n\t'
codium --list-extensions | awk -v q="\"" -v d="," '{s=(NR==1?s:s d)q $0 q}END{print "[" s "]"}'