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
yeah
👍1
journalctl -u micro
kde_apply_soundpack.sh
kde_apply_soundpack.zip
9.4 MB
Estesa la configurazione e suoni inclusi, alcuni probabilmente non si sentiranno mai

Ho in piano di aggiungere il classico "click" di navigazione tra cartelle a Dolphin, anche se non è possibile farlo — aka monitorare le syscall di navigazione e riprodurre il suono a mano
Avete presente le cartelle no?

Questo tipo specifico in realtà si chiama Manila folder

Vi siete mai chiesti perché fossero gialle?
Perché per farle vengono usate fibre di "canapa di Manila" — non è canapa, ma una specie di banane delle Filippine.
👀1
Ho modificato la mia installazione Discord, non l'ho mai fatto prima:
OpenAsar — va il doppio più veloce
BetterDiscord — sistema di plugins e temi
TimedLightDarkMode — plugin che cambia il tema chiaro/scuro in base all'orario, è un sogno

Da quello che ho letto, a settembre i dev di discord hanno rilasciato un aggiornamento che ha rotto un po' tutto (soprattutto le mod per l'interfaccia) — non importa, anche se il plugin indicato non mostra lo slider per l'orario lui funziona comunque; in ogni caso è possibile configurarlo da json.

In aggiunta, ho scoperto delle shortcuts già preesistenti su discord, quali tasto-destro sul
• pulsante delle impostazioni utente
• pulsanti microfono, cuffie, webcam
link canale vocale attuale — qui è possibile attivare una lista nascosta di persone attualmente connesse, così da vederle sempre anche quando si gira per altri server
È il mio PC o github ha appena sostituito Arial con il font inferiore Noto Sans? ...

Fixed: ho disabilitato Noto Sans a livello sistema
Mi è uscita questa chiocciola, penso che la incornicerò
👏7
Sembra possibile personalizzare un minimo il menu tasto-destro del desktop ...peccato che i cambiamenti siano indipendenti per ogni attività 😕
Stranezza di oggi

Ogni volta che vado dal desktop 2 al 3 — specificatamente con Discord aperto sul 2 e nulla sul 3 — plasmashell va in segmentation fault

?????
👍2
Sono riuscito a creare un gruppo telegram con... zero partecipanti. Aggiungendo/rimuovendo un bot per saltare il dialog iniziale e cancellando la cronologia, mi ha espulso ...così — però potevo ancora vederlo nella lista delle chat 🤔

Btw odio i nuovi angoli arrotondati dei messaggi su tg desktop, sembra di stare su fb messenger 🤢
🐞 Test di grammatiche ANTLR4 su VSCode
Finalmente ho capito come fare, non era per niente intuitivo né sembrava si potesse fare:
• installare il plugin per ANTLR4
• creare il solito file .vscode/launch.json
• aggiungere una configurazione di debug
• avviare il debug

Purtroppo non è al pari di quello su IntelliJ in cui 1. non serve avere un file salvato e 2. esegue automaticamente il test alla modifica del contenuto,
però qui è possibile impostare dei breakpoints!

ref: https://github.com/mike-lischke/vscode-antlr4/tree/master/doc
image_2022-11-22_00-15-07.png
209.5 KB
Esperimenti (mica tanto)
VSCodium + ANTLR4 + Dart nativo