Il makefile
Oggi come ieri, odio GN* make.
YFLAGS=-t -dIl comando lanciato
%.yy.c: %.l
lex $@
%.tab.c %.tab.h: %.y
yacc -o $@ $<
bin/%: %.c
gcc -o $@ $< -lfl
make bin/3.1.postfix_calc_ext1Il comando eseguito da make
yacc -t -d 3.1.postfix_calc_ext1.y
(notare la mancanza di -o ...)Oggi come ieri, odio GN* make.
journalctl -u micro
b.sh
build
834 B
Sono stufo marcio di make! Progettato da "sviluppatori" che non hanno mai sentito parlare di usabilità - gli stessi che magari hanno dato inizio a Gnome.
Mi sono riscritto ciò che volevo fare in puro Bash.
Mi sono riscritto ciò che volevo fare in puro Bash.
journalctl -u micro
build
Stavo spendendo più tempo a fare un Makefile funzionante (documentandomi dal manuale e tutto), che a fare gli effettivi esercizi di compilatori.
Volevo provare a mettere il font Inter su MPV; ci sono riuscito ma è troppo piccolo.
Vado a vedere le opzioni per l'OSC (OnScreen Controller - che a quanto pare è uno noscript) e a quanto pare si può mettere lo stile della seekbar in stile
https://mpv.io/manual/master/#command-line-syntax
Vado a vedere le opzioni per l'OSC (OnScreen Controller - che a quanto pare è uno noscript) e a quanto pare si può mettere lo stile della seekbar in stile
knob; per me assomiglia molto ad uno stile prodotti Applehttps://mpv.io/manual/master/#command-line-syntax
journalctl -u micro
Volevo provare a mettere il font Inter su MPV; ci sono riuscito ma è troppo piccolo. Vado a vedere le opzioni per l'OSC (OnScreen Controller - che a quanto pare è uno noscript) e a quanto pare si può mettere lo stile della seekbar in stile knob; per me assomiglia…
Finally, bigger Inter font
osd-font='Inter'
noscript-opts=osc-seekbarstyle=knob,osc-seekrangestyle=bar,osc-scalewindowed=1.2,osc-scalefullscreen=1.2[Cose che un giorno a caso mi servono, ma continuo a dimenticare]
Con
Con
updpkgsums da pacman-contrib si possono generare automaticamente gli hash per i sorgenti dei PKGBUILD
Lanci il comando così com'è e fa tuttoPKGBUILD
707 B
Ho trovato questo programmino per fare proxy / UDP hole punching avanzato, chissà se funziona (idea: collegare il wireless locale di melonDS via rete senza TCP)
https://samy.pl/pwnat/
https://samy.pl/pwnat/
journalctl -u micro
Tooltips nascosti nel blog di telegram
Btw new big updates!
https://telegram.org/blog/group-video-calls/it
https://telegram.org/blog/animated-backgrounds/it
https://telegram.org/blog/group-video-calls/it
https://telegram.org/blog/animated-backgrounds/it
Telegram
Videochiamate di gruppo
L'aggiornamento di oggi permette di accendere la tua videocamera o condividere il tuo schermo durante le Chat vocali nei gruppi - su tutti i dispositivi, inclusi tablet e desktop. Questo porta le chat vocali su un livello completamente nuovo, e le rende pronte…
journalctl -u micro
Oggi avviando il portatile ho sentito la ventola riprendere già a ballare, non fa un suono proprio pulito... Eppure non è passato tanto dall'ultima volta che l'ho spolverata ed oleata 😓
È passato poco più di un mese e la ventola sta di nuovo ballando!
Non ci voglio credere...
Non ho voglia di riaprirlo, ma non ho nemmeno le risorse per prendere un nuovo PC...
Non ci voglio credere...
Non ho voglia di riaprirlo, ma non ho nemmeno le risorse per prendere un nuovo PC...
journalctl -u micro
E btw adesso si è bloccato così
Ho riavviato ed è andato così.
È letteralmente windows 😳
È letteralmente windows 😳
Ho appena scoperto questo progetto Mozilla (a quanto pare esiste da esattamente un anno), che servirebbe a generare degli indirizzi email proxy per evitare di diffondere in giro il proprio indirizzo reale, e quindi rischiare di esser coinvolti in potenziali data leaks.
https://relay.firefox.com
Il punto è... utilizza Amazon Simple Email Service
https://relay.firefox.com
Il punto è... utilizza Amazon Simple Email Service
PKGBUILD di Skype da prendere come riferimento per creare pacchetti per pacman a partire da
.deb
https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=skype
journalctl -u micro
PKGBUILD di Skype da prendere come riferimento per creare pacchetti per pacman a partire da .deb https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=skype
Il mio obiettivo iniziale era installare una versione vecchia di ungoogled-chromium per giocare a qualche gioco flash con accelerazione hardware (sì, NPAPI è mille volte più veloce di Flash Player Standalone).
Non volevo perderci così tanto tempo - per fortuna ho trovato delle appimage del 2018
https://www.appimagehub.com/p/1265177/
___________
Anche se riesce ad avviarsi, con Flash dice "plugin non supportato" (wtf?) e alcune pagine ed estensioni crashano.
Non volevo perderci così tanto tempo - per fortuna ho trovato delle appimage del 2018
https://www.appimagehub.com/p/1265177/
___________
Anche se riesce ad avviarsi, con Flash dice "plugin non supportato" (wtf?) e alcune pagine ed estensioni crashano.
Appimagehub
Ungoogled-Chromium
Ungoogled-chromium is Google Chromium, sans integration with Google. It also features some tweaks to enhance privacy, control, and transparency.Untouched Portable Build Of Ungoogled-Chromium By...