diff options
author | Max Harmathy | 2023-09-05 10:03:22 +0200 |
---|---|---|
committer | Max Harmathy | 2023-09-05 10:15:21 +0200 |
commit | 855d79a36b98cd971de80b486515ffec09082458 (patch) | |
tree | 06a5806bedb328666d40179bd2f90d2a3a8d1310 /vscodium-bin.sh | |
parent | aac494eb8be107c756e51286ec5c191184d69ae0 (diff) | |
download | aur-855d79a36b98cd971de80b486515ffec09082458.tar.gz |
Ignore comment lines
Diffstat (limited to 'vscodium-bin.sh')
-rw-r--r-- | vscodium-bin.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/vscodium-bin.sh b/vscodium-bin.sh index 458e6610f0c7..f85fea8ffb6c 100644 --- a/vscodium-bin.sh +++ b/vscodium-bin.sh @@ -4,7 +4,12 @@ XDG_CONFIG_HOME=${XDG_CONFIG_HOME:-~/.config} # Allow users to override command-line options if [[ -f $XDG_CONFIG_HOME/codium-flags.conf ]]; then - CODE_USER_FLAGS=( $(< "$XDG_CONFIG_HOME/codium-flags.conf") ) + readarray lines <"$XDG_CONFIG_HOME/codium-flags.conf" + for line in "${lines[@]}"; do + if ! [[ "$line" =~ ^[[:space:]]*# ]]; then + CODE_USER_FLAGS+=($line) + fi + done fi # Launch |