cd /tmp wget https://plugins.geany.org/geany-plugins/geany-plugins-1.36.tar.gz tar -xzf geany-plugins-1.36.tar.gz cd geany-plugins-1.36 sed -i 's/webkit_package=webkitgtk-3.0/webkit_package=webkit2gtk-4.0/' configure wget -O webhelper/src/Makefile.am https://raw.githubusercontent.com/geany/geany-plugins/341cab4e13c122b2b74e6f31a43be9adc653f8af/webhelper/src/Makefile.am wget -O webhelper/src/gwh-browser.c https://raw.githubusercontent.com/geany/geany-plugins/341cab4e13c122b2b74e6f31a43be9adc653f8af/webhelper/src/gwh-browser.c wget -O webhelper/src/gwh-browser.h https://raw.githubusercontent.com/geany/geany-plugins/341cab4e13c122b2b74e6f31a43be9adc653f8af/webhelper/src/gwh-browser.h wget -O webhelper/src/gwh-plugin.c https://raw.githubusercontent.com/geany/geany-plugins/341cab4e13c122b2b74e6f31a43be9adc653f8af/webhelper/src/gwh-plugin.c ./configure --disable-all-plugins --enable-webhelper make mkdir -p ~/.config/geany/plugins cp webhelper/src/.libs/webhelper.so ~/.config/geany/plugins
No i nawet bez konieczności restartu Geany wywołujemy Menedżer wtyczek i włączamy nasz nowy nabytek.
A tak się nasz pomocnik prezentuje w działaniu:
Brak komentarzy:
Prześlij komentarz