Let's add Vivaldi browser...

And its ffmpeg-codecs :)
This commit is contained in:
FredBezies 2018-09-20 21:53:23 +02:00 committed by GitHub
parent c6e412bfaa
commit 263bb4615c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -14,6 +14,8 @@ options+=("seamonkey" "" off)
options+=("seamonkey-i18n" "(AUR)" off)
options+=("midori" "" off)
options+=("falkon" "" off)
options+=("vivaldi" "(AUR)" off)
options+=("vivaldi-ffmpeg-codecs" "(AUR)" off)
sel=$(whiptail --backtitle "$apptitle" --title "Web Browser applications :" --checklist "Choose what you want" --cancel-button "Back" 0 0 0 \
"${options[@]}" \
@ -26,7 +28,9 @@ for itm in $sel; do
case $itm in
'"pepper-flash"' | \
'"freshplayerplugin-git"' | \
'"freshplayerplugin"') aurpkg="$aurpkg $(echo $itm | sed 's/"//g')";;
'"freshplayerplugin"' | \
'"vivaldi" | \
'"vivaldi-ffmpeg-codecs"') aurpkg="$aurpkg $(echo $itm | sed 's/"//g')";;
'"firefox-i18n"' | \
'"seamonkey-i18n"') pkg="$pkg";;
*) pkg="$pkg $(echo $itm | sed 's/"//g')";;