Removing flashplayer related content

Flash is dead since January 1st, 2021.

Fix bug https://github.com/MatMoul/archdi/issues/25
This commit is contained in:
FredBezies 2021-08-31 17:08:10 +02:00 committed by GitHub
parent 4d3c80cbbf
commit 1f1a424052
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -6,9 +6,6 @@ options+=("chromium" "(GTK)" off)
options+=("pepper-flash" "" off)
options+=("firefox" "(GTK)" off)
options+=("firefox-i18n" "" off)
options+=("flashplugin" "" off)
options+=("freshplayerplugin" "(AUR)" off)
options+=("freshplayerplugin-git" "(AUR)" off)
options+=("opera" "(GTK)" off)
options+=("opera-ffmpeg-codecs" "Non-free codecs" off)
options+=("seamonkey" "(GTK)" off)
@ -27,8 +24,6 @@ fi
for itm in $sel; do
case $itm in
'"freshplayerplugin-git"' | \
'"freshplayerplugin"' | \
'"vivaldi"' | \
'"vivaldi-ffmpeg-codecs"') aurpkg="$aurpkg $(echo $itm | sed 's/"//g')";;
'"firefox-i18n"' | \