Posts made by red

The "Opera Stable for Linux – RPM packages" link gives me a .deb

I use this to correct some egregious bad grammar instead of profanities.
It works, but it could use some logic around the context of words in order to be more usable for my case.

Super. Certainly the best audio addon for Opera.
My only gripe is that it break audio on some sites and it's forcefully disabled by others...

Works perfectly an is very useful.

Perfect for fiddling with cookies. I'd love to see it get a few more options.

I use Google Translate for its page translation and disable all the rest, for which I use "Translator" instead, which fits my workflow better.

Having said that, the page translation in this extension is awesome. I love its flexibility.
I love that it can disable all the typical artifacts added by google-translate, even the translation-bar itself, and produce very usable, clean translated pages... Lovely!

Great. It gets rid of most requests that event the best anti-annoyance filters for UBlock won't catch.

Fine. It works as expected.

Greatest scroll-smoothing extension ever. And the optional central button scrolling is a nice plus.

Oh, wow... The version on the chrome store is so much more advanced.
https://chrome.google.com/webstore/detail/scrollanywhere/jehmdpemhgfgjblpkilmeoafmkhbckhi

@panyann: You have to give this extension access to search results using the opera extensions manager.

It works well, it's quick and flexible.

Is it possible to give more than 5 stars? :-)))))

Why not remove this, since it's been included in Opera for quite some time?

opera-stable 85.0.4341.47

Fixed By opera-stable 85.0.4341.47.
Thanks for the fast fix, Opera Devs!

The whole browser crashes with extensions that use the left bar. Both if you already have them and if you try to install one on a clean prefix.
I'm using Fedora Mate 35.

@thortik: I use the "Tiny supender" chrome extension in "native mode" and also the "Sloth" extension, to further avoid reloading tabs at startup.

@jactym said in Opera 80 Stable:

@brucehankins: https://github.com/nicolas-meilan/fix-opera-linux-ffmpeg

That doesn't work anymore. It pulls from a repository that's stuck on an older version.

The following small snippet pulls the latest version from an up to date repository.
(To see the code you'll have to go trough the forums )

# Written by Davide Repetto (ReD), distributed under the GPLv2.
# Set 'target' to suit your distribution and run as root.
# The default 'target' is intended for opera-stable in fedora.
# If you prefer to run unprivileged, just set 'target' to somewhere you can write and run as your normal user.
target='/usr/lib64/opera/lib_extra'
[ ! -e "${target}" ] && mkdir -p "${target}"
wget -O - https://repo.herecura.eu/herecura/x86_64/$( \
      wget -O - -nv -q https://repo.herecura.eu/herecura/x86_64/ \
      | grep 'opera-beta-ffmpeg-codecs.*\.pkg\.tar\.zst">' \
      | sed 's/<a href="\(.*zst\).*".*/\1/') \
      | tar -xp -v --zstd --strip-components=4 --overwrite -C "${target}"
unset target

@red said:

On my machine scrolling is jerkier with Opera 80, while it was silky smooth with 79.0.4143.72. ( [AMD/ATI] RS780L [Radeon 3000] on Fedora )

Well, video skips a lot of frames too... I think I'll switch back to 79.0.4143.72 for the moment.