diff options
author | Andreas Baumann | 2018-01-25 19:14:09 +0100 |
---|---|---|
committer | Andreas Baumann | 2018-01-25 19:14:09 +0100 |
commit | 91725b624918caea4a30a47c6b0f4874ef9c2312 (patch) | |
tree | e2d6c389c00ee65c22a62e4d7f21894a0a10c872 /opera | |
download | aur-91725b624918caea4a30a47c6b0f4874ef9c2312.tar.gz |
initial version
Diffstat (limited to 'opera')
-rw-r--r-- | opera | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/opera b/opera new file mode 100644 index 000000000000..356c0ed429dc --- /dev/null +++ b/opera @@ -0,0 +1,13 @@ +#!/bin/bash + +# Allow users to override command-line options +# Based on Gentoo's chromium package (and by extension, Debian's) +if [[ -f /etc/%pkgname%/default ]]; then + . /etc/%pkgname%/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} + +exec /usr/lib/%operabin% $OPERA_FLAGS "$@" |