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
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
🎯 Dart mi sta facendo tornare la gioia di programmare:
• gira ovunque (web, desktop, mobile)
• permette di essere compilato nativamente per gli OS più famosi in un eseguibile standalone
• può essere eseguito come noscript singolo
• package management integrato
• sintassi già conosciuta
• funzioni, OOP, classi presi da Java
• sintassi prese da Python
• generics
• multiple inheritance
• argomenti di funzione opzionali se lo si desidera
• lambda multi-riga o riga-singola con =>
• misto tra static typing (default) e dynamic typing
• tipi nullabili
• eccezioni
• async / await
• annotazioni
• pieno supporto con l'estensione su vscodium (linting, intellisense, debugging, ...)
🥰1
ODIO STAMPARE AAAAAA

La prima volta si è stampato come bozza (e il tratteggio è diventato una riga), la seconda invece si è interrotto a caso 👏🏻
Grazie Okular 🥰
Ora mi è tutto chiaro:
gli anarchici devono usare linguaggi di programmazione puramente funzionali in stile LISP quali Scheme ed Haskell:
sono stateless
🔥1
🎧 Sono riuscito a far apparire il sink audio alta qualità A2DP su una cassa bluetooth un po' ...particolare; non avevo mai sperimentato con questa configurazione prima d'ora
[richiede riavvio]

Le mie opzioni
/etc/bluetooth/main.conf

[General]
AutoConnect = true
MultiProfile = multiple
FastConnectable = true
JustWorksRepairing = confirm
TemporaryTimeout = 10
Experimental = true
KernelExperimental = true
[BR]
[LE]
[GATT]
[AVDTP]
[Policy]
[AdvMon]
journalctl -u micro
🎧 Sono riuscito a far apparire il sink audio alta qualità A2DP su una cassa bluetooth un po' ...particolare; non avevo mai sperimentato con questa configurazione prima d'ora [richiede riavvio] Le mie opzioni /etc/bluetooth/main.conf [General] AutoConnect…
Se non dovesse ancora funzionare:
• sconnettete tutto
systemctl restart bluetooth
bluetoothctl \
gatt.register-service \
0000110b-0000-1000-8000-00805f9b34fb
• connette il dispositivo

A meno di eventuali problemi, suggerirei di eseguire sempre quel comando all'avvio del PC