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
image_2022-11-05_23-57-09.png
251.9 KB
Cose impossibili da fare in LaTeX pt.1429
Alcune regolette uBlock Origin per preservare il mio breve attention span

! 2023-07-02 https://*.stackexchange.com (https://stackexchange.com/feeds/sites)

stackoverflow.com,stackexchange.com,superuser.com,serverfault.com,askubuntu.com,mathoverflow.com,stackapps.com##.post-form

stackoverflow.com,stackexchange.com,superuser.com,serverfault.com,askubuntu.com,mathoverflow.com,stackapps.com##.js-dismissable-hero

stackoverflow.com,stackexchange.com,superuser.com,serverfault.com,askubuntu.com,mathoverflow.com,stackapps.com##.s-sidebarwidget

stackoverflow.com,stackexchange.com,superuser.com,serverfault.com,askubuntu.com,mathoverflow.com,stackapps.com###hot-network-questions

stackoverflow.com,stackexchange.com,superuser.com,serverfault.com,askubuntu.com,mathoverflow.com,stackapps.com###left-sidebar

stackoverflow.com,stackexchange.com,superuser.com,serverfault.com,askubuntu.com,mathoverflow.com,stackapps.com##credential_picker_container
👍1
Da un po' di tempo sul telefono sto usando Insular per isolare tramite un profilo di lavoro fittizio alcune app particolarmente invadenti. Uno dei maggiori problemi di questa tecnica è che non è possibile aprire dei link dal profilo normale a un'app della sandbox.

Oggi però ho trovato un workaround:
• installare Browser Intercept per condividere il link che si cerca di aprire normalmente
• installare ShareToBrowser nella sandbox, un endpoint che inoltra i link ad un'app compatibile

Con queste due app è possibile sfruttare la funzionalità di android "Passa al profilo di lavoro" delle condivisioni, per aprire così i link nella sandbox.
👍1
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