journalctl -u micro – Telegram
journalctl -u micro
93 subscribers
2.17K photos
210 videos
287 files
1.44K links
Esperienze e consigli di uno sviluppatore tech−unenthusiast

creation — 2021-04-29
owner — @Microeinstein

networks
@sigma_hub Σ
@ageiroumena
Download Telegram
⤴️ Esistono i collegamenti non-symlink su KDE!
Bisogna usare la funzione Crea > Collegamento a indirizzo (URL).

Cosa cambia dai symlink normali e perché li trovo migliori?
⭐️ Sostanzialmente sono l'equivalente dei collegamenti .lnk su windows: essi infatti permettono di
1. essere aperti come file/cartelle qualsiasi, sia dalla vista desktop che da dolphin — purtroppo non ancora dal file picker
2. personalizzare l'icona in modo diverso dal percorso target (utile per risorse di rete)
3. preservare il percorso target originale — questo è importantissimo per i progetti, non voglio che gli editor memorizzino un percorso di collegamento che 99% sposterò o rinominerò (dato che li tengo come scorciatoie soltanto)
4. essere mostrati normalmente nella vista desktop e non come widgets... in più questa vista nasconde l'estensione .desktop
5. avere dei collegamenti su filesystems che non li supportano tipo FAT32

Non ricordo se ne avessi già parlato su questo canale, ma fin'ora non avevo mai trovato questa funzionalità — non credevo nemmeno esistesse...
image_2022-12-03_19-32-47.png
26.4 KB
📜 Ecco l'ennesimo noscript per aggiungere dei collegamenti come si deve sul Desktop. Non è ancora 100% funzionale (non recupera i nomi delle risorse di rete) ma per le cose base funziona.
shortcut-creator.desktop
563 B
~/.local/share/kservices5/ServiceMenus
journalctl -u micro
image_2022-12-03_19-32-47.png
Facendo questo noscript mi sono accorto che questi collegamenti hanno alcuni downsides:
1. se non si specifica X-KDE-LastOpenedWith=app, il file collegato viene eseguito invece che aperto — non so cosa succeda su altri ambienti
2. il menù Apri con apre il .desktop, non il file collegato
3. non è possibile trascinare il collegamento su un altro collegamento di cartella / di app per aprirlo
image_2022-12-03_23-36-47.png
215.8 KB
Backup codice titolo custom Audacious

${==file-path#4,"http...":${artist}${==artist,"":${album}}${(empty)?artist:${album}}${!=noscript,"": • ${noscript}}}${!=file-path#4,"http...":${?album:${==album,"Singles":${artist}}${!=album,"Singles":${album}} - }${?track-number:${track-number}. }${noscript}${==noscript,"":${file-name}.${file-ext}}}
Raga non comprate le zanzariere da Amazon
👍2
Novità interessante: due temperature diverse per fascia d'orario
🏆1
Cosa ti aspetti che succeda abbandonando una memoria digitale di cose private? Che evapori?
ref
Non avevo idea che Java avesse questa feature;
non equivale a un goto — questo interrompe o continua il loop annotato, nel primo caso saltando dopo lo scope anche se l'etichetta si trova all'inizio.
Vibing
Delightful
MPV 0.35.0 regressions:
• codec vp9 mi va lentissimo o non lo riproduce nemmeno
• a fine riproduzione si freeza, bloccando completamente l'audio del sistema
• codec h264 spesso lagga

MPV 0.34.1:
(funziona tutto)
Media is too big
VIEW IN TELEGRAM
A quanto pare il canale Cine34 del digitale terrestre (ovviamente Mediaset) fa interferenza audio su tutti gli altri canali, anche con il muto e durante il cambio di canale
Uncorrelated: continuano ad esserci sbalzi di corrente di durata .5s ~ 2s, facendomi potenzialmente perdere il lavoro al pc...
journalctl -u micro
È la TV, anche col decoder spento
Trovato il problema: la TV (non il decoder esterno) era sintonizzata sul canale Cine34 ancora non in HD, e l'audio veniva riprodotto anche con altre modalità d'ingresso