UX KDE Plasma: differenze tra le versioni
Da GOLEM Wiki.
m Categorizzata |
m Pagina categorizzata anche su KDE |
||
| (2 versioni intermedie di uno stesso utente non sono mostrate) | |||
| Riga 1: | Riga 1: | ||
__TOC__ | |||
Tips & tricks per migliorare l'esperienza utente su KDE Plasma. | |||
== Script personalizzato sui file scelti dal menù contestuale di Dolphin == | |||
Provato su: '''Plasma 5''' | |||
[[Image:pdf-bw.png|400px]] | [[Image:pdf-bw.png|400px]] | ||
| Riga 22: | Riga 22: | ||
Icon=xorg | Icon=xorg | ||
Exec=/home/giomba/hdd/bin/script/pdf-bw.sh %f | Exec=/home/giomba/hdd/bin/script/pdf-bw.sh %f | ||
== Utilizzare finestre di dialogo di KDE == | |||
* '''Plasma 5 Xorg''' | |||
Impostare la seguente variabile d'ambiente per la sessione: | |||
export GTK_USE_PORTAL=1 | |||
* '''Plasma 6 Wayland''' | |||
Su Firefox, nella sezione ''about::config'', impostare le seguenti variabili: | |||
widget.xdg-desktop-portal.file-picker = 1 | |||
widget.xdg-desktop-portal.location = 1 | |||
widget.xdg-desktop-portal.mime-handler = 1 | |||
widget.xdg-desktop-portal.open-uri = 1 | |||
widget.xdg-desktop-portal.settings = 1 | |||
[[Category:Howto]] | [[Category:Howto]] | ||
[[Category: KDE]] | |||
Versione attuale delle 10:23, 30 mar 2024
Tips & tricks per migliorare l'esperienza utente su KDE Plasma.
Script personalizzato sui file scelti dal menù contestuale di Dolphin
Provato su: Plasma 5
Creare un file .desktop in ~/.local/share/kservices5/ServiceMenus:
[Desktop Entry] Type=Service Icon=xorg X-KDE-ServiceTypes=KonqPopupMenu/Plugin MimeType=application/pdf; Actions=convertToBW; Encoding=UTF-8 [Desktop Action convertToBW] Name=Convert to black and white Name[it]=Converti in bianco e nero Icon=xorg Exec=/home/giomba/hdd/bin/script/pdf-bw.sh %f
Utilizzare finestre di dialogo di KDE
- Plasma 5 Xorg
Impostare la seguente variabile d'ambiente per la sessione:
export GTK_USE_PORTAL=1
- Plasma 6 Wayland
Su Firefox, nella sezione about::config, impostare le seguenti variabili:
widget.xdg-desktop-portal.file-picker = 1 widget.xdg-desktop-portal.location = 1 widget.xdg-desktop-portal.mime-handler = 1 widget.xdg-desktop-portal.open-uri = 1 widget.xdg-desktop-portal.settings = 1
