diff options
| author | NunoSempere <nuno.semperelh@protonmail.com> | 2024-03-12 13:32:34 -0300 |
|---|---|---|
| committer | NunoSempere <nuno.semperelh@protonmail.com> | 2024-03-12 13:32:34 -0300 |
| commit | 79ff9e86f5aad068ea77655760dd922c5d3f8807 (patch) | |
| tree | dd81666f7d9d62995a12026cef0fdbc5092fc756 | |
| parent | 8a1e0be30df52d5a21109297fd5bbc20efec1b3b (diff) | |
start transition to webkitgtk-6.0
| -rw-r--r-- | TODO.md | 2 | ||||
| -rw-r--r-- | user-scripts/debian-12/install-with-dependencies.sh | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -9,7 +9,7 @@ - [ ] Set [`webkit_web_context_set_sandbox_enabled`](<https://webkitgtk.org/reference/webkit2gtk/2.36.8/WebKitWebContext.html#webkit-web-context-set-sandbox-enabled>), as recommended [here](<https://blogs.gnome.org/mcatanzaro/2022/11/04/stop-using-qtwebkit/>) - [ ] Use something other than Whatsapp as an example syslink. - [ ] Fix bug about distorted audio. Maybe related to [this pipewire issue](<https://gitlab.freedesktop.org/pipewire/pipewire/-/issues/1547>)? -- [ ] Upgrade to GTK-4 / Webkitgtk 6.0? Will take a fair amount of time, since these are not available on Ubuntu 20.04. +- [ ] Upgrade to GTK-4 / Webkitgtk 6.0? Will take a fair amount of time, since these are not available on Ubuntu 20.04. Instructions [here](https://github.com/WebKit/WebKit/blob/ed1422596dce5ff012e64a38faf402ac1674fc7e/Source/WebKit/gtk/migrating-to-webkitgtk-6.0.md) # Previously done diff --git a/user-scripts/debian-12/install-with-dependencies.sh b/user-scripts/debian-12/install-with-dependencies.sh index 25721db..c30b932 100644 --- a/user-scripts/debian-12/install-with-dependencies.sh +++ b/user-scripts/debian-12/install-with-dependencies.sh @@ -1,6 +1,6 @@ # Key dependencies sudo apt install git vim gcc make -sudo apt install libwebkit2gtk-4.0-dev +sudo apt install libwebkit2gtk-4.1-dev # Optional adblock git clone https://github.com/jun7/wyebadblock |