journalctl -u micro
93 subscribers
2.19K photos
210 videos
287 files
1.45K links
Esperienze e consigli di uno sviluppatore tech−unenthusiast

creation — 2021-04-29
owner — @Microeinstein

networks
@sigma_hub Σ
@ageiroumena
Download Telegram
È 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 script 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
image_2022-11-26_22-52-39.png
1.4 MB
☯️ Sciter
C'è questo toolkit GUI cross-platform HTML/CSS usato tipo da tutti gli antivirus e vari tool, che ha da poco AGGIUNTO il supporto a Windows XP

https://sciter.com/sciter-js-windows-xp-support/
🧼 Una settimana fa mi sono deciso a lavare i padiglioni delle mie cuffie USB.

Li ho lasciati in ammollo con le seguenti soluzioni (non mischiate) ognuna per almeno un'ora, ma nulla è riuscito a togliere completamente il grasso:
+ sgrassatore 🐓
♨️ + detersivo per piatti 🍽
+ bicarbonato 📦

L'unica combinazione che ha funzionato molto bene è stata
+ shampoo 🧴 + alcool