12 lines
312 B
Bash
12 lines
312 B
Bash
#!/bin/bash
|
|
|
|
XDG_CONFIG_HOME=${XDG_CONFIG_HOME:-~/.config}
|
|
|
|
# Allow users to override command-line options
|
|
if [[ -f $XDG_CONFIG_HOME/code-flags.conf ]]; then
|
|
CODE_USER_FLAGS="$(sed 's/#.*//' $XDG_CONFIG_HOME/code-flags.conf | tr '\n' ' ')"
|
|
fi
|
|
|
|
# Launch
|
|
exec /usr/share/code-bin/bin/code "$@" $CODE_USER_FLAGS
|