blob: 4d1d8b695995f84eefdf9e8658b883d5159da800 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#!/bin/bash
XDG_CONFIG_HOME=${XDG_CONFIG_HOME:-~/.config}
# Allow users to override command-line options
if [[ -f $XDG_CONFIG_HOME/code-insiders-flags.conf ]]; then
CODE_USER_FLAGS="$(sed 's/#.*//' $XDG_CONFIG_HOME/code-insiders-flags.conf | tr '\n' ' ')"
elif [[ -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-insiders/bin/code-insiders "$@" $CODE_USER_FLAGS
|