From c6df013fe348d57ec64131acbb425f5548878201 Mon Sep 17 00:00:00 2001 From: Elena of Valhalla'' Grandi Date: Tue, 21 Jan 2014 22:35:35 +0100 Subject: Log + materiale prima lezione riga comando --- src/corsi/2014-linea_di_comando.txt | 3 + src/corsi/2014-linea_di_comando/index.txt | 1 + src/corsi/2014-linea_di_comando/log-lezione_1.log | 210 ++++++++++++++++++++++ 3 files changed, 214 insertions(+) create mode 100644 src/corsi/2014-linea_di_comando/log-lezione_1.log diff --git a/src/corsi/2014-linea_di_comando.txt b/src/corsi/2014-linea_di_comando.txt index d074d2a..6e879d2 100644 --- a/src/corsi/2014-linea_di_comando.txt +++ b/src/corsi/2014-linea_di_comando.txt @@ -63,6 +63,9 @@ grazie alla documentazione sia preinstallata (manpages) che online. * aiuto in linea e pagine di manuale * il filesystem standard di linux +* `log della lezione 1 <2014-linea_di_comando/log-lezione_1.log>`_ +* `materiale della lezione 1 <2014-linea_di_comando/riga_di_comando-lezione_1.tar.gz>`_ + 28 gennaio ~~~~~~~~~~ diff --git a/src/corsi/2014-linea_di_comando/index.txt b/src/corsi/2014-linea_di_comando/index.txt index 405653a..b9bcaa5 100644 --- a/src/corsi/2014-linea_di_comando/index.txt +++ b/src/corsi/2014-linea_di_comando/index.txt @@ -4,6 +4,7 @@ file: annuncio.txt file: riga_di_comando-lezione_1.tar.gz file: riga_di_comando-lezione_1.tar.xz + file: log-lezione_1.log /restindex uservalues diff --git a/src/corsi/2014-linea_di_comando/log-lezione_1.log b/src/corsi/2014-linea_di_comando/log-lezione_1.log new file mode 100644 index 0000000..0734e3b --- /dev/null +++ b/src/corsi/2014-linea_di_comando/log-lezione_1.log @@ -0,0 +1,210 @@ +21:02 <@valhalla> ed essendo le 21:01, direi che iniziamo ufficialmente :) +21:02 <@valhalla> innanzitutto, benvenuti a tutti +21:02 -!- samuele76 [~samuele76@host119-255-dynamic.20-79-r.retail.telecomitalia.it] has joined #lifo +21:03 <@valhalla> stasera parliamo della riga di comando di linux e innanzitutto: cos'è, e perché usarla? +21:03 <@valhalla> Una shell in generale è un programma che permette l'interazione tra l'utente e il sistema +21:04 <@valhalla> tecnicamente possono essere considerate shell anche quelle grafiche, ma di solito il termine si usa per le shell testuali, che sono state le prime a nascere (per ovvi motivi di tecnologia) +21:05 <@valhalla> sotto linux ce ne sono varie, se volete approfondire nei file che avete scaricato (in bash.rst) ci sono un po' di info sulle altre, ma quella di default è bash, che è quella che usiamo durante il corso +21:05 <@valhalla> molto di quanto detto potrebbe funzionare anche con le altre shell, ma a volte la sintassi cambia +21:06 -!- massimo_croci [~aceraspir@46.249.82.44] has left #lifo [] +21:06 <@valhalla> sempre a proposito di "compatibilità": la maggior parte dei programmi che citiamo durante il corso sono disponibili in tutte le distribuzioni linux (almeno quelle destkop o server) +21:06 <@valhalla> quello che potrebbe cambiare da una distro all'altra verrà segnalato +21:07 <@valhalla> se ci son già domande, tullio__, mi passi la prima? +21:07 -!- massimo_croci [~aceraspir@46.249.82.25] has joined #lifo +21:07 <+tullio__> Le sintassi cambiano da distribuzione a distribuzione!? +21:07 <+tullio__> abbiamo cominciato a rispondere +21:08 <@valhalla> no, la sintassi cambia da shell a shell, ma la maggior parte delle distribuzioni usa bash, e quindi usa la stessa sintassi +21:08 <+tullio__> Delfino1983: no, solo tra shell e shell +21:08 <@valhalla> l'eccezione principale sono le distribuzioni per sistemi embedded, che potrebbero usare shell diverse (di solito minimali) +21:08 <@valhalla> oppure se qualcuno si installa e configura una shell diversa, perché la preferisce +21:09 <@valhalla> tullio__: domanda successiva? +21:09 <@valhalla> tullio__: ok, vedo che è già stata risposta di l`a, vado avanti +21:09 -!- webbert [523475d5@gateway/web/freenode/ip.82.52.117.213] has joined #lifo +21:09 <+tullio__> avanti +21:09 <+tullio__> pure +21:09 <@valhalla> ok +21:10 <+tullio__> ci sono limiti tra shell testuali o grafiche? +21:10 <@valhalla> dicevamo, di solito quando si fa partire un sistema linux oggi come oggi parte un'interfaccia grafica +21:10 <@valhalla> ok, vado avanti con la spiegazione e c'è la risposta alla domanda, credo +21:11 -!- massimiliano [5feca0d0@gateway/web/freenode/ip.95.236.160.208] has joined #lifo +21:11 -!- fiera [~fiera@host32-228-dynamic.13-79-r.retail.telecomitalia.it] has joined #lifo +21:12 <@valhalla> per raggiungere un'interfaccia testuale ci sono vari modi: uno (che di solito funziona anche nelle emergenze) è premere ctrl-alt-FN, che vi fa raggiungere i cosiddetti terminali virtuali, a tutto schermo (e premendo cltr-alt-F7 sulla maggior parte delle distro si torna all'interfaccia grafica) +21:12 <@valhalla> il metodo che si usa di solito invece è di avere un programma grafico, chiamato emulatore di terminale, che apre una finestra nell'interfaccia grafica dove si trova una shell testuale +21:13 -!- Delfino1983_0u7 [~Alex@unaffiliated/delfino1983] has quit [Remote host closed the connection] +21:13 <@valhalla> di emulatori di terminale ce ne sono in abbondanza, di solito gli ambienti grafici ne hanno uno loro di default (Terminale sotto GNOME, konsole sotto KDE, ecc.) +21:13 <@valhalla> ma qualunque terminale si usi la shell è sempre la stessa +21:13 -!- fla_ [971335bb@gateway/web/freenode/ip.151.19.53.187] has joined #lifo +21:14 <@valhalla> se volete seguire gli esempi che faccio dovreste aprire uno di questi emulatori di terminale (quello di default va benissimo) +21:14 <@valhalla> tullio__: domande? +21:15 -!- Delfino1983 [~Alex@unaffiliated/delfino1983] has joined #lifo +21:15 -!- tiziano [4f18b406@gateway/web/freenode/ip.79.24.180.6] has joined #lifo +21:15 <+tullio__> avanti pure... +21:15 -!- fiera_ [~fiera@host32-228-dynamic.13-79-r.retail.telecomitalia.it] has joined #lifo +21:15 <@valhalla> ok, se avete pronto il terminale possiamo cominciare a dare il primo comando della serata, che è ``cd `` +21:15 -!- odeeno [~odeeno@94.164.189.168] has joined #lifo +21:15 -!- gericom [~gericom@95.236.160.208] has joined #lifo +21:16 <@valhalla> un comando di solito è composto come in questo caso dal nome di un programma (o un comando direttamente conosciuto da bash, come in questo caso), +21:17 <@valhalla> seguito da delle opzioni, separate da spazi +21:17 <@valhalla> e viene lanciato quando si preme il tasto enter alla fine +21:17 <@valhalla> per scrivere i comandi, una cosa estremamente utile è il tasto tab: +21:18 <@valhalla> se voi scrivete ``cd ``, l'inizio del nome della cartella e poi premete tab una volta, bash cerca di completare il nome con un nome di cartella esistente +21:18 -!- popi [5230eb0f@gateway/web/freenode/ip.82.48.235.15] has joined #lifo +21:18 <@valhalla> se non ci riesce, dovrete scrivere qualche carattere in più, e poi ripremere tab +21:18 <@valhalla> la cosa utile, è che se usate tab, provvede lui a sistemare nel modo giusto eventuali spazi o caratteri strani che potrebbero dare problemi +21:19 -!- asrasdrsd [5ff43795@gateway/web/freenode/ip.95.244.55.149] has joined #lifo +21:19 -!- asrasdrsd [5ff43795@gateway/web/freenode/ip.95.244.55.149] has quit [Client Quit] +21:19 <@valhalla> tullio__: qualcuno sta avendo problemi? proseguo coi prossimi comandi? +21:20 -!- fla__ [971298a7@gateway/web/freenode/ip.151.18.152.167] has joined #lifo +21:20 <+tullio__> comunque anche i comandi variano da distro a distro non sono tutti standard giusto!? +21:20 -!- Dereek [974083fe@gateway/web/freenode/ip.151.64.131.254] has joined #lifo +21:20 <+tullio__> domanda giusta +21:20 <@valhalla> come scrivevo prima, i comandi di cui parliamo durante il corso sono tutti standard su tutte le distro, tranne quando segnalato esplicitamente +21:21 -!- fla_ [971335bb@gateway/web/freenode/ip.151.19.53.187] has quit [Ping timeout: 272 seconds] +21:22 <@valhalla> proseguiamo, un comando ancora più semplice è ``pwd``: se lo date vi dovrebbe scrivere il nome della directory dove siete +21:22 <@valhalla> (sta per print working directory) +21:22 <@valhalla> non chiede opzioni ne niente, solo il nome del comando +21:22 <@valhalla> altro comando semplice: ``ls``: list: se lo date senza opzioni vi da l'elenco dei file e sottodirectory presenti nella directory dove siete +21:23 <@valhalla> dandolo dovrebbe dirvi ``lezione_1``, che è una sottodirectory che c'era nel pacchetto +21:24 -!- Alben [~Alessio@151.64.131.254] has joined #lifo +21:24 <@valhalla> ls però può prendere anche delle opzioni: le opzioni sono un trattino seguito da un carattere, oppure due trattini seguiti da una parola +21:24 <@valhalla> di solito per ogni opzione ci sono le due varianti: scorciatoia breve, oppure opzione lunga (mentre le opzioni poco usate han solo la versione lunga) +21:25 <@valhalla> ad esempio, se voi date il comando ``ls -l -h`` dite ad ls che volete sì l'elenco dei file, ma volete un po' più di dettagli (-l) e volete che le dimensioni dei file siano scritti in modo comprensibile dagli umani (-h) +21:26 <@valhalla> sempre col comando ls, possiamo vedere anche la forma "completa" di un comando, che prevede il comando, delle opzioni e alla fine un parametro +21:27 <@valhalla> un caso classico è che il parametro sia un nome di file o di directory, sul quale si fa lavorare il comando +21:27 <@valhalla> ad esempio: ``ls -l -h lezione_1`` +21:27 <@valhalla> tullio__: domande fino a qui? +21:27 <+tullio__> con calma +21:27 <+tullio__> per ora vai pure avanti +21:28 <@valhalla> ok +21:28 -!- boooooo [4f1a3f24@gateway/web/freenode/ip.79.26.63.36] has joined #lifo +21:28 <@valhalla> per finire di parlare di struttura dei comandi: ci sono dei programmi che usano una struttura un po' di versa +21:28 <@valhalla> diversa +21:28 -!- paolettopn [~paolo@net-37-117-102-117.cust.dsl.vodafone.it] has joined #lifo +21:29 -!- paolettopn [~paolo@net-37-117-102-117.cust.dsl.vodafone.it] has quit [Changing host] +21:29 -!- paolettopn [~paolo@unaffiliated/paolettopn] has joined #lifo +21:29 <@valhalla> qualcuno usa caratteri non standard per introdurre le opzioni (ad esempio +x anziché -x), oppure un trattino solo per le opzioni lunghe, lo si scopre dalla documentazione +21:30 <@valhalla> mi suggerisono di ricordare una cosa, ed è saggio farla: linux fa distinzione tra maiuscole e minuscole +21:31 <@valhalla> sia per i nomi dei comandi che per i nomi di file e directory, bisogna fare attenzione perché ad esempio ``file`` non è la stessa cosa di ``File`` +21:31 <@valhalla> l'altra variante sulla struttura dei comandi si trova generalmente in programmi pi`u moderni ed è +21:32 -!- webbert [523475d5@gateway/web/freenode/ip.82.52.117.213] has quit [Quit: Page closed] +21:32 <@valhalla> qui è più difficile trovare esempi che tutti abbiano installato, ma un caso abbastanza diffuso è quello dei gestori di pacchetti, ad esempio per chi usa debian o derivate (ubuntu, mint, wiildos...) ``apt-cache show bash``, mentre per chi usa fedora ``yum info bash`` +21:33 <@valhalla> in questo caso il comando può fare più azioni, si seleziona quale con il secondo termine +21:33 -!- fla__ [971298a7@gateway/web/freenode/ip.151.18.152.167] has quit [Quit: Page closed] +21:34 <@valhalla> detto questo, possiamo spostarci nella directory lezione_1, con ``cd lezione_1/`` e vedere cosa contiene col comando ``ls`` +21:34 <@valhalla> tullio__: domande fino a qui? +21:34 <+tullio__> vai pure +21:34 -!- MrMirror [560612ee@gateway/web/freenode/ip.86.6.18.238] has joined #lifo +21:35 <@valhalla> ok, introduciamo un altro comando: less serve per visualizzare file di testo (ma non per modificarli) +21:35 <@valhalla> se date il comando ``less dispensa.rst`` potete leggere il file in questione +21:37 <@valhalla> ci si pu`o spostare con le freccie, o cercare del testo premendo "/" seguito col testo da cercare (ad esempio potete provare a premere /terminale↵) +21:37 <@valhalla> quando si è finito premere ``q`` per uscire +21:37 <@valhalla> questo è uno dei programmi che si usano di più, visto che leggere file è attività che capita abbastanza spesso :) +21:38 <+tullio__> differenze con more? +21:38 <@valhalla> more ha meno funzionalità, ad esempio non si pu`o tornare indietro ma solo andare avanti nel file +21:39 <@valhalla> dato che less è installato quasi ovunque, ormai si usa praticamente solo quello, more capita solo in sistemi veramente minimali +21:39 <@valhalla> tullio__: altre domande? +21:40 <+tullio__> no per ora no +21:40 <@valhalla> ok +21:40 <@valhalla> sempre per visualizzare file, una specie di trucco: ``xdg-open cheat_file.txt &`` +21:40 <@valhalla> (il & alla fine è importante, ma verrà spiegato in una lezione futura, sorry) +21:41 <@valhalla> xdg-open apre il file che gli si passa con l'applicazione predefinita per quel tipo di file *nell'ambiente grafico* +21:41 -!- cloc3 [~cloc3@host25-159-dynamic.56-82-r.retail.telecomitalia.it] has joined #lifo +21:41 <@valhalla> con ls, cd e xdg-open potreste sostituire il file manager dell'ambiente grafico +21:42 <@valhalla> (cosa che tra l'altro consiglio di provare per chi vuole fare esercizio in questa settimana) +21:42 <@valhalla> vi potete spostare da una directory all'altra, trovare i file, e poi usare xdg-open per aprire il programma che siete abituati ad usare +21:43 <@valhalla> oltre ad xdg-open anche la maggior parte dei programmi grafici possono essere chiamati da shell direttamente, passandogli di solito il file che volete aprire +21:43 -!- Ringmeister84 [~Ringmeist@ppp-96-116.21-151.libero.it] has joined #lifo +21:44 <@valhalla> questo per dire che non è detto che si usi un sistema puramente testuale, spesso si integrano le due cose usando la shell di base, ma qualche programma grafico +21:44 <@valhalla> tullio__: domande? +21:44 <+tullio__> avanti +21:45 <@valhalla> ok, argomento successivo: scoprire come funzionano i comandi +21:45 <@valhalla> per la stragrande maggioranza dei comandi esiste una pagina di manuale +21:45 <@valhalla> ci si accede con il comando ``man ``, quindi ad esempio ``man ls`` o ``man less`` +21:45 <@valhalla> se è installato, si aprirà less (altrimenti more) con dentro una spiegazione del comando in questione +21:46 <@valhalla> con tutte le opzioni disponibili +21:46 <@valhalla> di solito sono pensati come guide di riferimento +21:46 <@valhalla> (contrapposto a manuali di introduzione all'argomento)_ +21:47 -!- wlinux [d47cbf08@gateway/web/freenode/ip.212.124.191.8] has joined #lifo +21:47 <@valhalla> il problema a volte `e scoprire di che comando si ha bisogno: per questo può aiutare ovviamente google, ma anche il comando ``apropos`` +21:47 <@valhalla> ad esempio ``apropos manuals`` cerca tutte le pagine di manuale la cui descrizione cita i manuals +21:48 -!- TheFantaman [~TheFantam@dynamic-adsl-78-14-191-47.clienti.tiscali.it] has quit [Ping timeout: 248 seconds] +21:48 -!- aldagaau_ [~ionot@95.233.88.206] has joined #lifo +21:48 <@valhalla> se apropos fallisce, o si cerca su internet, oppure si chiede agli amici :) +21:48 <@valhalla> tullio__: domande? +21:48 <+tullio__> avanti +21:48 <@valhalla> ok +21:49 -!- mediechions1_ [~mediechio@host30-234-dynamic.50-79-r.retail.telecomitalia.it] has quit [Ping timeout: 272 seconds] +21:49 -!- Fabrizio [~Fabrizio@dynamic-adsl-78-14-186-8.clienti.tiscali.it] has joined #lifo +21:49 <@valhalla> (mi stan dicendo che invece sta arrivando una domanda) +21:50 -!- aldagaau [~ionot@host30-234-dynamic.50-79-r.retail.telecomitalia.it] has quit [Ping timeout: 272 seconds] +21:50 <+tullio__> domanda +21:50 <+tullio__> scusate, non capisco perchè devo richiamare un programma con xdg-open quando lo posso richiamare direttamente +21:50 <@valhalla> xdg-open serve per avere lo stesso comportamento del file manager dell'interfaccia grafica +21:51 <@valhalla> ovvero l'equivalente del cliccare su un file e trovarselo aperto col programma (si spera) giusto +21:51 <@valhalla> se già si sa che programma si ha installato e si vuole usare per quel tipo di file, ovviamente va benissimo lanciare direttamente il prorgamma +21:51 <@valhalla> (effettivamente anche io di solito faccio così, richiamo direttamente il programma) +21:52 <@valhalla> tullio__: domande successive? +21:52 <+tullio__> no avanti +21:53 <@valhalla> ok, caratteri "speciali" +21:53 <+tullio__> ma si può fare tipo "less apropos convert" se l'output è lungo? +21:53 <+tullio__> scusa +21:54 <@valhalla> sì, si pu`o fare, è un'ottima cosa da fare, ma è una cosa che vedremo in una delle puntate successive, ed è argomento sul quale riusciamo a riempire la serata :) +21:54 <@valhalla> dicevamo dei caratteri speciali: +21:55 <@valhalla> alcuni caratteri hanno un significato particolare per la shell: ad esempio il carattere ``*`` pu`o essere usato per prendere il posto di qualunque carattere +21:55 <@valhalla> se la shell lo trova, cerca di trasformarlo nei nomi di file della directory corrente che soddisfano la "condizione data" +21:56 <@valhalla> ad esempio, nella directory lezione_1 dove siamo, se lanciamo il comando ``less *.rst *.txt`` +21:56 <@valhalla> innanzitutto la bash trasforma questa cosa in less bash.rst dispensa.rst filesystem_linux.rst cheat_file.txt``, e poi less apre tutti i file +21:57 <@valhalla> una volta che siamo in less possiamo passare da un file all'altro con :n o :p, e poi sempre q per uscire +21:57 <@valhalla> in alcuni casi è importante sapere che la sostituzione è fatta dalla shell *prima* di arrivare al comando +21:58 <@valhalla> altri caratteri speciali che possono essere usati per selezionare pi`u +21:58 <@valhalla> file in una sola espressione verranno visti nelle serate successive +21:59 <@valhalla> si possono raggiungere anche descrizioni discretamente complicate, per cui meglio iniziare con la versione facile che comunque è quella che si usa pi`u di frequente :) +21:59 <@valhalla> altre espressioni "speciali" sono i nomi di alcune directory +21:59 <@valhalla> con ``.`` si identifica sempre la directory in cui si è in quel momento +22:00 <@valhalla> ad esempio ``ls .`` fa la stessa cosa di ``ls`` da solo, elenca i contenuti della directory corrente +22:00 <@valhalla> ``..`` invece indica la directory che sta sopra alla directory in cui siamo +22:01 <@valhalla> ad esempio ``ls ..`` farà vedere ``lezione_1`` +22:01 <@valhalla> ``cd ..`` ovviamente serve per tornare indietro di una directory nella struttura +22:01 -!- mediechions1 [~mediechio@95.233.88.206] has joined #lifo +22:02 <@valhalla> si possono concatenare le cose: il separatore di nomi di directory è ``/``, e dando più ``..`` successivi si torna indietro di più directory +22:02 <@valhalla> ad esempio ``cd ../../`` e poi con ``pwd`` potete vedere dove siete finiti +22:03 <@valhalla> altro nome standard, con ``-`` si indica la directory precedente, da cui si è appena usciti +22:03 <@valhalla> ad esempio ``cd -`` e poi ``pwd`` +22:03 <@valhalla> e poi c'è ``~``, con il quale si indica la directory "home" dell'utente +22:04 <@valhalla> che di solito è /home/, ed è dove stanno tutti i suoi file +22:04 <@valhalla> sia documenti che file di configurazione personali e quant'altro +22:04 <@valhalla> tullio__: domande? +22:04 <+tullio__> avanti +22:04 -!- taumaturgo [5d93b54e@gateway/web/freenode/ip.93.147.181.78] has joined #lifo +22:04 <@valhalla> ok +22:05 <@valhalla> ultima cosa della serata, usando i comandi che abbiamo visti fin'ora, possiamo dare un'occhiata a dove linux tiene i file +22:05 <@valhalla> con ``cd /`` ci spostiamo sulla radice del filesystem +22:06 <@valhalla> contrariamente ad altri sistemi dove ogni partizione ha la sua lettera, sotto linux c'è una partizione principale con il sistema che si raggiunge con ``/`` +22:06 <@valhalla> e poi le altre partizioni sono "montate" (cos`i si dice) su sottodirectory della partizione principale, con l'idea di rendere la cosa del tutto trasparente ai programmi +22:07 <@valhalla> ad esempio capita di avere una partizione diversa per ``/home``, ma i programmi non sanno che lo è +22:07 <@valhalla> se diamo ``ls /`` vediamo un po' di directory che sono sempre uguali per tutti i sistemi +22:07 -!- MrMirror [560612ee@gateway/web/freenode/ip.86.6.18.238] has quit [Quit: Page closed] +22:08 -!- MrMirror [~MrMirror@cpc14-cmbg14-2-0-cust237.5-4.cable.virginm.net] has joined #lifo +22:08 <@valhalla> c'è una descrizione dei loro contenuti nel file filesystem_linux.rst delle dispense +22:08 <@valhalla> e visto che si è fatto tardi credo che sia meglio passare ad eventuali domande, e potete leggere la descrizione direttamente dal file +22:09 <@valhalla> tullio__: domande? +22:09 -!- fiera [~fiera@host32-228-dynamic.13-79-r.retail.telecomitalia.it] has left #lifo [] +22:09 <+tullio__> avei una domanda su less: è possibile passare da less a una modalità di editor? +22:09 <@valhalla> less non ha modalit`a di editor, è solo per la lettura +22:10 <@valhalla> se si vuole editare un file, la cosa pi`u semplice da riga di comando è lanciare ``nano ``, che è l'editor testuale pi`u semplice che ci sia installato sulla maggior parte dei sistemi +22:11 <@valhalla> oppure usare xdg-open o il nome di un editor testuale ad interfaccia grafica +22:11 <@valhalla> se invece si vogliono fare le cose come si deve [1] , si pu`o imparare ad usare vim, ma la cosa potrebbe richiedere un'intero corso, e non ne parleremo in questo +22:12 <@valhalla> [1] "come si deve" è un opinione estremamente di parte, la scelta di quale editor usare è causa di discussioni infinite :) +22:12 <@valhalla> (comunque la maggior parte delle persone concorda nel dire che nano va bene per piccole modifiche, non per passare la giornata a scrivere) +22:12 <@valhalla> tullio__: altre domande? +22:13 <+tullio__> per ora no +22:13 <@valhalla> ok, lascio un po' di tempo per pensare ad altre domande, se qualcuno ne ha +22:16 <@valhalla> < rasalgethi> tutti i comandi visti dove possiamo ritrovarli per provare ad esercitarci? +22:16 <@valhalla> nel materiale che avete scaricato ci sono alcuni file +22:17 <@valhalla> in particolare tutte le settimane ci sarà un dispensa.rst che contiene i programmi che sono stati citati (e le loro opzioni principali) +22:17 <@valhalla> e in generale una specie di bigino di tutto quello che è stato detto, così lo si pu`o ritrovare facilmente +22:18 -!- Letozaf_ [~Letozaf@host75-255-dynamic.40-79-r.retail.telecomitalia.it] has left #lifo [] +22:19 -!- malo [~malo@95.75.14.182] has quit [Quit: Sto andando via] +22:19 -!- pigro [~luca@87.18.59.58] has left #lifo [] +22:20 -!- massimo [~massimo@adsl-ull-81-149.51-151.net24.it] has quit [Quit: Sto andando via] +22:20 <@valhalla> se non ci sono altre domande, direi che possiamo chiudere qui, e ci rivediamo martedì prossimo, sempre alle 21:00 precise -- cgit v1.2.3