summarylogtreecommitdiffstats
path: root/opera
diff options
context:
space:
mode:
authorAndreas Baumann2018-01-25 19:14:09 +0100
committerAndreas Baumann2018-01-25 19:14:09 +0100
commit91725b624918caea4a30a47c6b0f4874ef9c2312 (patch)
treee2d6c389c00ee65c22a62e4d7f21894a0a10c872 /opera
downloadaur-91725b624918caea4a30a47c6b0f4874ef9c2312.tar.gz
initial version
Diffstat (limited to 'opera')
-rw-r--r--opera13
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 "$@"