g8qm7f.zip
148.9 MB
Deltarune chapter 1&2 nativo linux
https://nitter.unixfox.eu/wudabed/status/1439064219496992771?s=19
https://old.reddit.com/r/Deltarune/comments/pqehbn/can_anyone_get_deltarune_chp_2_to_run_naively_on/
— metodo vecchio per il capitolo 1 —
https://old.reddit.com/r/Deltarune/comments/9wizh3/deltarune_running_on_linux_natively/
https://nitter.unixfox.eu/wudabed/status/1439064219496992771?s=19
https://old.reddit.com/r/Deltarune/comments/pqehbn/can_anyone_get_deltarune_chp_2_to_run_naively_on/
— metodo vecchio per il capitolo 1 —
https://old.reddit.com/r/Deltarune/comments/9wizh3/deltarune_running_on_linux_natively/
❤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
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
journalctl -u micro
kde_apply_soundpack.zip
dolphinNavigationSound.sh
1004 B
Tipo:
(Da eseguire normalmente senza
(Da eseguire normalmente senza
source)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
• 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
Fixed: ho disabilitato Noto Sans a livello sistema
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
?????
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 🤢
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
• 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
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
GitHub
vscode-antlr4/doc at master · mike-lischke/vscode-antlr4
ANTLR4 language support for Visual Studio Code. Contribute to mike-lischke/vscode-antlr4 development by creating an account on GitHub.
image_2022-11-22_00-15-07.png
209.5 KB
Esperimenti (mica tanto)
VSCodium + ANTLR4 + Dart nativo
Avete presente tutti quei siti copycat che continuano ad apparire nei risultati di ricerca, i cui contenuti non sono altro che copie [appunto] di pagine che vorremmo raggiungere?
Con questo filtro per uBlock Origin dovrebbero sparire 🙏🏻
https://github.com/quenhus/uBlock-Origin-dev-filter
ref: https://old.reddit.com/r/duckduckgo/comments/t98ocy/how_to_block_seo_spam_contamination_and_copycat/
Con questo filtro per uBlock Origin dovrebbero sparire 🙏🏻
https://github.com/quenhus/uBlock-Origin-dev-filter
ref: https://old.reddit.com/r/duckduckgo/comments/t98ocy/how_to_block_seo_spam_contamination_and_copycat/
GitHub
GitHub - quenhus/uBlock-Origin-dev-filter: Filters to block and remove copycat-websites from DuckDuckGo, Google and other search…
Filters to block and remove copycat-websites from DuckDuckGo, Google and other search engines. Specific to dev websites like StackOverflow or GitHub. - quenhus/uBlock-Origin-dev-filter