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
Sono molto confuso
Forwarded from Locked!
Era lì da qualche parte ma NON CIELO DICEVENO!!1!!1!

La pagina di Facebook per controllare se delle nostre informazioni (email, cellulare) sono presenti perché qualcun altro ha sincronizzato la sua rubrica nella quale c'era il nostro contatto.

Anche se su Facebook o Instagram non ci siamo mai iscritti.

https://www.facebook.com/contacts/removal
melonDS 0.9.5 is out!
• Improved local multiplayer
• DSi camera support
• DSi DSP support
• CLI improvements
• Revamped OpenGL context handling

https://melonds.kuribo64.net/comments.php?id=174

Ora il local multiplayer funziona. Non ancora tramite internet (è stato rimosso il socket UDP) ma probabilmente uscirà a breve.
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 🤢