diff options
Diffstat (limited to 'vscodium-bin.sh')
-rw-r--r-- | vscodium-bin.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/vscodium-bin.sh b/vscodium-bin.sh new file mode 100644 index 000000000000..343ca1aa69c1 --- /dev/null +++ b/vscodium-bin.sh @@ -0,0 +1,11 @@ +#!/bin/bash + +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="$(cat $XDG_CONFIG_HOME/codium-flags.conf)" +fi + +# Launch +exec /opt/vscodium-bin/bin/codium $CODE_USER_FLAGS "$@" |