diff options
Diffstat (limited to 'network/opera-developer/opera-developer')
| -rw-r--r-- | network/opera-developer/opera-developer | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/network/opera-developer/opera-developer b/network/opera-developer/opera-developer new file mode 100644 index 0000000000..3274e8a8f2 --- /dev/null +++ b/network/opera-developer/opera-developer @@ -0,0 +1,19 @@ +#!/bin/bash + +# Allow users to override command-line options +# Based on Gentoo's chromium package (and by extension, Debian's) + +if [[ -f /etc/opera-developer/default ]]; then + . /etc/opera-developer/default +fi + +# Prefer user defined CHROMIUM_USER_FLAGS (from env) over system +# default CHROMIUM_FLAGS (from /etc/chromium/default) + +OPERA_FLAGS=${OPERA_USER_FLAGS:-$OPERA_FLAGS} + +if [ "$ARCH" = "x86_64" ]; then + exec /usr/lib64/opera-developer/opera-developer $OPERA_FLAGS "$@" +else + exec /usr/lib/opera-developer/opera-developer $OPERA_FLAGS "$@" +fi |