This media is not supported in your browser
VIEW IN TELEGRAM
Faccio un dump del mio workflow attuale su KDE:
00:00 - sticky resize (noscript)
00:09 - super+drag: resize anywhere
00:16 - mouse wheel on taskbar
00:22 - extra key (web): instantaneous alt+tab
00:26 - pause key (not multimedia): z-index based, reversed alt+tab
00:32 - mouse wheel on desktop switcher
00:38 - drag across desktops with super+fn (required for Discord)
00:50 - activity switcher
01:02 - no pinned apps on taskbar; use start menu favorites
01:08 - right-click+drag with timeout: mouse/pen gestures (easystroke)
01:15 - drag on desktop switcher: move windows between desktops
00:00 - sticky resize (noscript)
00:09 - super+drag: resize anywhere
00:16 - mouse wheel on taskbar
00:22 - extra key (web): instantaneous alt+tab
00:26 - pause key (not multimedia): z-index based, reversed alt+tab
00:32 - mouse wheel on desktop switcher
00:38 - drag across desktops with super+fn (required for Discord)
00:50 - activity switcher
01:02 - no pinned apps on taskbar; use start menu favorites
01:08 - right-click+drag with timeout: mouse/pen gestures (easystroke)
01:15 - drag on desktop switcher: move windows between desktops
1 - noscript Sticky Window Snapping
2 - nascondere la barra del titolo senza rimuovere i bordi (altrimenti sarebbe impossibile distinguere una finestra dall'altra tenendo disattivato il compositore)
3,4 - configurazione task switcher
5 - alcune gesture easystroke
2 - nascondere la barra del titolo senza rimuovere i bordi (altrimenti sarebbe impossibile distinguere una finestra dall'altra tenendo disattivato il compositore)
3,4 - configurazione task switcher
5 - alcune gesture easystroke
journalctl -u micro
1 - noscript Sticky Window Snapping 2 - nascondere la barra del titolo senza rimuovere i bordi (altrimenti sarebbe impossibile distinguere una finestra dall'altra tenendo disattivato il compositore) 3,4 - configurazione task switcher 5 - alcune gesture easystroke
Edit - esperimento:
utilizzando le decorazioni Oxygen (solo bordi, non stili dei widget [pulsanti, etc]) con le stesse impostazioni di Brezza,
è possibile avere dei bordi esteticamente migliori, cioè che non abbiano un contrasto così netto con il contenuto della finestra, e che non continuino a cambiare colore alla (dis)attivazione della finestra.
utilizzando le decorazioni Oxygen (solo bordi, non stili dei widget [pulsanti, etc]) con le stesse impostazioni di Brezza,
è possibile avere dei bordi esteticamente migliori, cioè che non abbiano un contrasto così netto con il contenuto della finestra, e che non continuino a cambiare colore alla (dis)attivazione della finestra.
journalctl -u micro
Firefox 89 Raga aiuto dov'è il tasto per personalizzare la UI
Trovato, bisogna andare su
More Tools > Customize Toolbar...
More Tools > Customize Toolbar...
journalctl -u micro
Firefox 89 Raga aiuto dov'è il tasto per personalizzare la UI
Ok basta,
>
>
about:config
> browser.compactmode.show = true
> browser.proton.enabled = falseDi recente tramite PyCharm ho fatto uso della funzione di rebasing interattivo git, e devo dire che è tanto potente quanto pericoloso:
è possibile infatti riordinare, rinominare, ed unire commit che non sono stati ancora pushati.
I problemi appaiono però quando si tenta di correggere un commit molto vecchio, con un altro commit contenente la singola patch: in questo caso il nuovo commit è risultato anche delle modifiche precedenti ad esso, e spostandolo nell'history queste modifiche verranno mantenute.
Si creeranno quindi un'enormità di conflitti di merge che dovranno essere risolti a mano, in cui si dovrà selezionare con attenzione tutte le modifiche vecchie più la patch da unire.
è possibile infatti riordinare, rinominare, ed unire commit che non sono stati ancora pushati.
I problemi appaiono però quando si tenta di correggere un commit molto vecchio, con un altro commit contenente la singola patch: in questo caso il nuovo commit è risultato anche delle modifiche precedenti ad esso, e spostandolo nell'history queste modifiche verranno mantenute.
Si creeranno quindi un'enormità di conflitti di merge che dovranno essere risolti a mano, in cui si dovrà selezionare con attenzione tutte le modifiche vecchie più la patch da unire.
Spero solo che l'integrazione git dei prodotti IntelliJ non mi faccia mai scherzi come è successo a qualche persona: tutte le modifiche locali non ancora committate sono state a loro improvvisamente cancellate.