journalctl -u micro
Vi è mai capitato di svolgere un esame online su una piattaforma tipo Moodle, che bloccando il copia-incolla vi costringe a scrivere del codice a mano - magari strutturato - direttamente sul campo di testo grezzo a disposizione? Not anymore! Perché allora…
This media is not supported in your browser
VIEW IN TELEGRAM
Demo
Avevo bisogno di usare AwwApp per avere una whiteboard condivisa realtime via browser, su cui fare un esercizio con una persona usando le nostre tavolette grafiche. Purtroppo è stato comprato ed ora è necessario registrarsi... 😒
Ho trovato WBO, un'alternativa FOSS con board anonime (richiesto solo il link) e che permette di avere una propria istanza. Questa è l'istanza ufficiale https://wbo.ophir.dev/
Non è il massimo dell'usabilità ma ho trovato questi keybindings:
Pencil
Eraser
Grid
H - pan, select
Zoom
Download
1..9 - colori
Ho trovato WBO, un'alternativa FOSS con board anonime (richiesto solo il link) e che permette di avere una propria istanza. Questa è l'istanza ufficiale https://wbo.ophir.dev/
Non è il massimo dell'usabilità ma ho trovato questi keybindings:
Pencil
Eraser
Grid
H - pan, select
Zoom
Download
1..9 - colori
GitHub
GitHub - lovasoa/whitebophir: Online collaborative Whiteboard that is simple, free, easy to use and to deploy
Online collaborative Whiteboard that is simple, free, easy to use and to deploy - lovasoa/whitebophir
Avrei voluto trovare prima questo sito, ma forse non è troppo tardi
https://www.cs.usfca.edu/~galles/visualization/Algorithms.html
https://www.cs.usfca.edu/~galles/visualization/Algorithms.html
Non ho la minima idea di cosa abbia causato il problema, ma riavviando il servizio di enhancement / riavviando tutto, si sistema 🤨
journalctl -u micro
Bene non mi parte neanche l'app delle gestures
Ok è un pacchetto AUR, ho reinstallato-ricompilato la stessa versione dato che non ci sono aggiornamenti e ha funzionato
Più di un anno fa mi sono scritto questo noscript in Bash, per allenarmi sulle risposte vero/falso che avrei trovato all'esame di Sistemi Operativi.
(mi sono scritto anche il file a parte con le domande, e devo dire che nel farlo ho trovato parecchie incoerenze nelle dispense trovate in giro...)
Il punto è che oggi scopro che qualcuno si è interessato ed ha fatto un altro file di domande per l'esame di Algoritmi 😎
(mi sono scritto anche il file a parte con le domande, e devo dire che nel farlo ho trovato parecchie incoerenze nelle dispense trovate in giro...)
Il punto è che oggi scopro che qualcuno si è interessato ed ha fatto un altro file di domande per l'esame di Algoritmi 😎
quizAlgoritmi.txt
4.8 KB
Edit: alcune domande erano formattate male
Sto esplorando una nuova piattaforma alternativa a Discord chiamata Guilded.
Per ora osservo le seguenti cose salienti:
- 80% della GUI e delle funzioni sono uguali a quelle di Discord
- streaming a 60fps sorgente free
- emoji custom free
- pagina di profilo tipo Steam con
- foto
- banner
- status
- collegamenti giochi (anche senza account)
- collegamenti social
- feed personale
- media personali
- messaggi diretti
- amici
- i server possono avere dei sottogruppi
- diversi tipi di canali quali:
- categorie
- solo testo
- voce + testo: canale lobby principale + sotto stanze tipo TeamSpeak
- streaming + voce + testo con utenti multipli
- forum
- calendario per pianificare eventi
- schedule per segnare la propria disponibilità in certi range di orario
- liste todo (tra l'altro con la funzione di riduci/espandi sottonodi che cercavo)
- annunci
- documenti
- media tipo l'home di Imgur
- possibilità di inserire polls e forms ovunque
- ogni canale che supporta testo (eccetto commenti) permette di avere threads e risposte a singoli messaggi tipo Reddit
- i link di invito possono avere form di partecipazione tipo quelli dei gruppi facebook
- sezioni di amministrazione quali Overview, Membri, Log
Edit:
- possibilità di aprire in una finestra separata singoli canali (come il pop-out nei canali vocali di Discord, ma per qualsiasi canale)
Per ora osservo le seguenti cose salienti:
- 80% della GUI e delle funzioni sono uguali a quelle di Discord
- streaming a 60fps sorgente free
- emoji custom free
- pagina di profilo tipo Steam con
- foto
- banner
- status
- collegamenti giochi (anche senza account)
- collegamenti social
- feed personale
- media personali
- messaggi diretti
- amici
- i server possono avere dei sottogruppi
- diversi tipi di canali quali:
- categorie
- solo testo
- voce + testo: canale lobby principale + sotto stanze tipo TeamSpeak
- streaming + voce + testo con utenti multipli
- forum
- calendario per pianificare eventi
- schedule per segnare la propria disponibilità in certi range di orario
- liste todo (tra l'altro con la funzione di riduci/espandi sottonodi che cercavo)
- annunci
- documenti
- media tipo l'home di Imgur
- possibilità di inserire polls e forms ovunque
- ogni canale che supporta testo (eccetto commenti) permette di avere threads e risposte a singoli messaggi tipo Reddit
- i link di invito possono avere form di partecipazione tipo quelli dei gruppi facebook
- sezioni di amministrazione quali Overview, Membri, Log
Edit:
- possibilità di aprire in una finestra separata singoli canali (come il pop-out nei canali vocali di Discord, ma per qualsiasi canale)
Guilded - Chat for Gaming Communities
Guilded upgrades your group chat and equips your server with integrated event calendars, forums, and more – 100% free.
journalctl -u micro
Sto esplorando una nuova piattaforma alternativa a Discord chiamata Guilded. Per ora osservo le seguenti cose salienti: - 80% della GUI e delle funzioni sono uguali a quelle di Discord - streaming a 60fps sorgente free - emoji custom free - pagina di profilo…
image_2021-06-13_15-52-34.png
272 KB
Hmm, ho chiuso la finestra ma non c'è alcun indicatore di notifica e i suoi processi sono ancora in esecuzione.
Oh bello, ora KDE riesce a comunicare il tema di sistema, il quale viene preso automaticamente da Telegram Desktop (e non da Discord).
(peccato non sia possibile mettere temi custom qui)
Chissà se c'è un meccanismo dbus dietro
Edit: voi sapete se questa feature esisteva anche prima? Io non me ne sono mai accorto
(peccato non sia possibile mettere temi custom qui)
Chissà se c'è un meccanismo dbus dietro
Edit: voi sapete se questa feature esisteva anche prima? Io non me ne sono mai accorto