Re: Sed: Una e una solo!
Davide Prina scrisse in data 10/06/2014 20:25: On 10/06/2014 10:50, antispammbox-debian wrote: se ogni record è per posizione: cioè il campo A è di 5 caratteri e inizia nella posizione X1, mentre il campo B è di 5 caratteri e inizia alla posizione X2... allora: $ echo "D K AB" | \ sed "s/.\{16\}\(.\{5\}\).\{4\}\(.\{5\}\)/\1\n\2/" > Purtròppo il campo 1 può èssere da 1 o 3 caratteri max. Tra i vari campi c'è sempre 1 spazio, quindi questo potrebbe rendere le cose méno complicate? se i campi sono di dimensione variabile e gli spazi sono solo separatori, allora $ echo "D K AB" | \ sed "s/[^ ]* *[^ ]* *\([^ ]*\)[ ]*\([^ ]*\)/\1\n\2/" che più in generale se la separazione potrebbe essere spazio o tabulazione è esattamente la stessa formula che avevo già postato qualche giorno fa: echo D K AB | sed -n 's/[^[:space:]]\+[[:space:]]*[^[:space:]]\+[[:space:]]*\([^[:space:]]\+\)[[:space:]]*\([^[:space:]]\+\)[[:space:]]*$/\1 \2/p' Piviul -- Per REVOCARE l'iscrizione alla lista, inviare un email a debian-italian-requ...@lists.debian.org con oggetto "unsubscribe". Per problemi inviare un email in INGLESE a listmas...@lists.debian.org To UNSUBSCRIBE, email to debian-italian-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/5397f971.4010...@riminilug.it
[OT] software ed errori [Era: OpenSSL: Altro bug]
Ciao, Innanzitutto cito Davide... > Il 09/06/2014 21:49, Davide Prina ha scritto: >> ahi, ahi, ahi... top quoting... questo è male ;-) >> >> fare il top quoting impedisce una corretta lettura del discorso e >> causa una difficile risposta. Ora veniamo al dunque. Il Mar, 10 Giugno 2014 9:38 am, fran...@modula.net ha scritto: > Non importa se poi l'errore è del tuo comando o della shell o di chissà > cosa: il fatto è che il sistema, nel suo complesso, può produrre > risultati diversi da quelli che ci aspettiamo. Invece importa, se l'errore non è nel mio comando, non puoi imputare il bug al mio software. Inoltre non bisogna confondere i bug dagli errori estemporanei. Se un surriscaldamento, un raggio cosmico o un altro evento del genere possono generare errori imprevedibili nell'esecuzione di un software, questo non significa che il software abbia bug (anche se certamente è possibile scrivere software più resiliente di altri nei confronti di eventi del genere). Il bug di OpenSSL da cui è partita questa discussione era tale che, al verificarsi di un evento riproducibile a volontà, OpenSSL _sistematicamente_ e _prevedibilmente_ permetteva di aprire una falla di sicurezza, indipendentemente da errori di compilazione, hardware malfunzionante o simili "incidenti"... Di questo stiamo parlando. > se meriterebbe rifletterci): voglio solo dire che la complessità del > software non è completamente dominabile e che anche in questo campo si > procede per errori e correzioni come in qualsiasi altro ambito > scientifico. Io penso si debba distinguere tra scienza e tecnologia. Forse la tecnologia procede per errori e correzioni, non mi pronuncio. La scienza dovrebbe procedere per teorie, verifiche e dimostrazioni; chi commette errori grossolani di solito non usa il metodo scientifico e magari ha finge di poter estendere la validità di una teoria al di fuori del suo ambito di applicazione. Tanto per fare un esempio in breve, dire una cosa come "la meccanica relativistica Einsteiniana è la versione corretta della meccanica classica di Galileo e Newton che era un errore" sarebbe una sciocchezza. La meccanica classica continua a fornire previsioni attendibili se le masse, i tempi, gli spazi e le velocità in gioco, assieme alla precisione richiesta dalla previsione non eccedono certi limiti. Scommetto che chi progetta mezzi di trasporto terrestri continua (correttamente) ad usarla senza tener conto delle "correzioni" relativistiche. Scommetto anche che chi progetta la traiettoria di "astronavi" usa la meccanica Einsteiniana e non la quantistica... e chi... etc etc. Un esempio più informatico potrebbe essere l'articolo di chi ha proposto i B-heap [ http://queue.acm.org/detail.cfm?id=1814327 ]. L'autore fa notare che per i computer moderni non è valida l'ipotesi di costo costante per un accesso in memoria indipendentemente dalla locazione, ne conclude quindi che usare la teoria classica per implementare un heap, oggi, è sbagliato. Anche in questo caso sarebbe sciocco dire che quella teoria contiene un errore, quando questo è nel suo uso (tecnologico?) fuori dalle ipotesi. Detto questo, le teorie scientifiche restano certamente tutte falsificabili, lungi da me sostenere che affermino "la verità". Descrivre però il metodo scientifico come "errori e correzioni" è un po' riduttivo. >> meglio dire che non esiste un metodo automatico che possa essere usato >> per dimostrare la correttezza di un software qualsiasi. Questa frase è di Davide (infatti concordo ;-); giustamente non esclude la possibilità di dimostrare la correttezza di software specifici! Anche qui, vale la pena fare un esempio, magari un po' più significativo del "return 0"... va bene un intero compilatore? Non è software libero (ha una clausola che ne esclude l'uso commerciale; anche se ampie porzioni del codice sono rilasciate con doppia licenza, talvolta affiancando la BSD, talaltra GPL o LGPL) ma bisogna ammettere che CompCert [ http://compcert.inria.fr/ ] è un progetto estremamente interessante: si tratta di un compilatore la cui correttezza è (quasi completamente) certificata da sistemi di dimostrazione automatica! Certo, scrivere oltre al software (e alla documentazione :-) anche il sistema di teoremi che ne dimostrano la correttezza richiede _MOLTO_ più tempo che andare per tentativi affidandosi alla propria esperienza e alle revisione di colleghi e (nel caso del software libero) volenterosi per commettere meno errori possibile. Si può certamente sostenere (ci sono validi argomenti a supporto) che per software "troppo" complessi, che devono anche velocemente adattarsi alle innovazioni tecnologiche (come OpenSSL), l'approccio della dimostrazione automatica sia impraticabile... Bisogna però ammettere che c'è gente tutt'altro che ignorante che usa un approccio (davvero) scientifico per scrivere software con certificazione della correttezza. Per installare il compilatore citato, bisogna scaricare dal sito il sorgente (verificare l'impronta hash); aver in
Re: OpenSSL: Altro bug
persisti con il top-quoting... questo è molto male ;-) se non impari a quotare non rispondo più, perché poi si perde il filo del discorso... Se non sai cosa significhi quotare, allora usando qualsiasi motore di ricerca cerca la stringa: "quotare bene" :-) On 10/06/2014 09:38, franchi wrote: Potresti scommettere che "a.sh" non faccia correttamente niente per il numero esatto di volte in cui viene invocato? Per esempio, se il programma "a.sh" venisse lanciato n volte ad altissima frequenza, nella discussione (che purtroppo non si può vedere perché hai fatto top quoting) si parlava di programma e non di tutto il contesto che può comprendere l'intero sistema operativo. Se no ricadiamo sul fatto che fino a poco tempo fa dicevano che Debian era poco affidabile perché c'erano tanti bug di sicurezza e alcuni non chiusi, ma guarda caso erano su programmi non mantenuti e non usati da nessuno... programmi che ora, con le nuove politiche Debian, vengono tolti dalla distro. invece che "a.sh" arrivare all'interprete il comando "a.s" e mandare in esecuzione il programma idem. Allora potrei dire che se mentre premi invio ti cade un satellite sulla casa che ti distrugge completamente l'abitazione e il PC, allora potresti avere grossi problemi di perdita dati :-) Ciao Davide -- Dizionari: http://linguistico.sourceforge.net/wiki Motivi per non comprare/usare ms-windows7: http://windows7sins.org/ Non autorizzo la memorizzazione del mio indirizzo su outlook -- Per REVOCARE l'iscrizione alla lista, inviare un email a debian-italian-requ...@lists.debian.org con oggetto "unsubscribe". Per problemi inviare un email in INGLESE a listmas...@lists.debian.org To UNSUBSCRIBE, email to debian-italian-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/53975044.4000...@gmail.com
Re: Sed: Una e una solo!
On 10/06/2014 10:50, antispammbox-debian wrote: se ogni record è per posizione: cioè il campo A è di 5 caratteri e inizia nella posizione X1, mentre il campo B è di 5 caratteri e inizia alla posizione X2... allora: $ echo "D K AB" | \ sed "s/.\{16\}\(.\{5\}\).\{4\}\(.\{5\}\)/\1\n\2/" > Purtròppo il campo 1 può èssere da 1 o 3 caratteri max. Tra i vari campi c'è sempre 1 spazio, quindi questo potrebbe rendere le cose méno complicate? se i campi sono di dimensione variabile e gli spazi sono solo separatori, allora $ echo "D K AB" | \ sed "s/[^ ]* *[^ ]* *\([^ ]*\)[ ]*\([^ ]*\)/\1\n\2/" Ciao Davide -- Dizionari: http://linguistico.sourceforge.net/wiki Sistema operativo: http://www.it.debian.org GNU/Linux User: 302090: http://counter.li.org Non autorizzo la memorizzazione del mio indirizzo su outlook -- Per REVOCARE l'iscrizione alla lista, inviare un email a debian-italian-requ...@lists.debian.org con oggetto "unsubscribe". Per problemi inviare un email in INGLESE a listmas...@lists.debian.org To UNSUBSCRIBE, email to debian-italian-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/53974da2.70...@gmail.com
Gnome3 grrrrr
Ciao ragazzi, il maledetto gnome3 ha colpito ancora. un un netbook asus eepc 1000H, con debian stable. Oggi, di colpo, mentre cliccavo sull'icona dell'audio, in alto, mi ha cambiato la risoluzione del monitor. Ora è bassissima, e muovendo il mouse mi "scrolla" tutto lo schermo. Oltre questo, non mi da più la possibilità di cliccare su nulla, quindi non posso interagire con l'ambiente grafico. Loggandomi in gnome classic, invece è tutto a posto. Qualcuno sa come poter risolvere da gnome classic? Paride -- http://keyserver.linux.it/pks/lookup?op=get&search=0xCC6CA35C690431D3 Chi e' pronto a rinunciare alle proprie liberta' fondamentali per comprarsi briciole di temporanea sicurezza non merita ne' la liberta' ne' la sicurezza.(Benjamin Franklin - dalla Risposta al Governatore, Assemblea della Pennsylvania, 11 novembre 1755) -- Per REVOCARE l'iscrizione alla lista, inviare un email a debian-italian-requ...@lists.debian.org con oggetto "unsubscribe". Per problemi inviare un email in INGLESE a listmas...@lists.debian.org To UNSUBSCRIBE, email to debian-italian-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/0126d507ed5678c3d858c00ccab0d...@autistici.org
Re: problema con mongoDB [solved]
Antonio Mariano writes: > infatti ho installato gcc e va tutto ok, ma la cosa strana è che > ero convito che per default fosse istallato. Forse in gentoo. Può essere sensato NON installare il compilatore su un computer, specialmente un server... > scusate il disturbo :P Nessun disturbo, per carità. Io andrei a dare un occhiata ai corsi gratuiti della Mongo University, anche se non penso usino il PHP... -- /\ ___Ubuntu: ancient /___/\_|_|\_|__|___Gian Uberto Lauri_ African word //--\| | \| | Integralista GNUslamicomeaning "I can \/ coltivatore diretto di software not install già sistemista a tempo (altrui) perso...Debian" Warning: gnome-config-daemon considered more dangerous than GOTO -- Per REVOCARE l'iscrizione alla lista, inviare un email a debian-italian-requ...@lists.debian.org con oggetto "unsubscribe". Per problemi inviare un email in INGLESE a listmas...@lists.debian.org To UNSUBSCRIBE, email to debian-italian-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/21398.64069.869191.769...@mail.eng.it
Re: problema con mongoDB [solved]
infatti ho installato gcc e va tutto ok, ma la cosa strana è che ero convito che per default fosse istallato. scusate il disturbo :P --- Mar 10/6/14, Gian Uberto Lauri ha scritto: Oggetto: Re: problema con mongoDB A: debian-italian@lists.debian.org Data: Martedì 10 giugno 2014, 11:25 Antonio Mariano writes: > configure: error: in `/tmp/pear/temp/pear-build-rootCysEv5/mongo-1.5.3': > configure: error: no acceptable C compiler found in $PATH Mi sembra molto chiaro. Non trova un compilatore C adatto allo scopo. -- /\ ___ Ubuntu: ancient /___/\_|_|\_|__|___Gian Uberto Lauri_ African word //--\| | \| | Integralista GNUslamico meaning "I can \/ coltivatore diretto di software not install già sistemista a tempo (altrui) perso... Debian" Warning: gnome-config-daemon considered more dangerous than GOTO -- Per REVOCARE l'iscrizione alla lista, inviare un email a debian-italian-requ...@lists.debian.org con oggetto "unsubscribe". Per problemi inviare un email in INGLESE a listmas...@lists.debian.org To UNSUBSCRIBE, email to debian-italian-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/21398.53030.581650.421...@mail.eng.it -- Per REVOCARE l'iscrizione alla lista, inviare un email a debian-italian-requ...@lists.debian.org con oggetto "unsubscribe". Per problemi inviare un email in INGLESE a listmas...@lists.debian.org To UNSUBSCRIBE, email to debian-italian-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/1402398694.69802.yahoomailba...@web171605.mail.ir2.yahoo.com
Re: problema con mongoDB
Antonio Mariano writes: > configure: error: in `/tmp/pear/temp/pear-build-rootCysEv5/mongo-1.5.3': > configure: error: no acceptable C compiler found in $PATH Mi sembra molto chiaro. Non trova un compilatore C adatto allo scopo. -- /\ ___Ubuntu: ancient /___/\_|_|\_|__|___Gian Uberto Lauri_ African word //--\| | \| | Integralista GNUslamicomeaning "I can \/ coltivatore diretto di software not install già sistemista a tempo (altrui) perso...Debian" Warning: gnome-config-daemon considered more dangerous than GOTO -- Per REVOCARE l'iscrizione alla lista, inviare un email a debian-italian-requ...@lists.debian.org con oggetto "unsubscribe". Per problemi inviare un email in INGLESE a listmas...@lists.debian.org To UNSUBSCRIBE, email to debian-italian-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/21398.53030.581650.421...@mail.eng.it
problema con mongoDB
Salve a tutti, vorrei incominciare ad usare questo db nosql, ora ho installato tutto e funziona tutto ok ora cerco di installare i driver php ma ho questo errore quando faccio questa installazione antonio@SEM:/$ sudo pecl install mongo downloading mongo-1.5.3.tgz ... Starting to download mongo-1.5.3.tgz (191,258 bytes) .done: 191,258 bytes 116 source files, building running: phpize Configuring for: PHP Api Version: 20090626 Zend Module Api No: 20090626 Zend Extension Api No: 220090626 Build with Cyrus SASL (MongoDB Enterprise Authentication) support? [no] : no building in /tmp/pear/temp/pear-build-rootCysEv5/mongo-1.5.3 running: /tmp/pear/temp/mongo/configure --with-mongo-sasl=no checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking for a sed that does not truncate output... /bin/sed checking for cc... no checking for gcc... no configure: error: in `/tmp/pear/temp/pear-build-rootCysEv5/mongo-1.5.3': configure: error: no acceptable C compiler found in $PATH See `config.log' for more details ERROR: `/tmp/pear/temp/mongo/configure --with-mongo-sasl=no' failed antonio@SEM:/$ poi il file config.log non riesco a trovarlo, almeno nella posizione specificata /tmp/pear/temp/ mi potete dare una mano? grazie mille A. -- Per REVOCARE l'iscrizione alla lista, inviare un email a debian-italian-requ...@lists.debian.org con oggetto "unsubscribe". Per problemi inviare un email in INGLESE a listmas...@lists.debian.org To UNSUBSCRIBE, email to debian-italian-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/1402391957.46701.yahoomailba...@web171601.mail.ir2.yahoo.com
Re: Sed: acquisire campo più a dx?
PpbBO SOS N00c Inviato da iPhone > Il giorno 10/giu/2014, alle ore 10:20, Lorenzo Sutton > ha scritto: > > Questo messaggio non ha alcun contenuto.
Re: Sed: Una e una solo!
se ogni record è per posizione: cioè il campo A è di 5 caratteri e inizia nella posizione X1, mentre il campo B è di 5 caratteri e inizia alla posizione X2... allora: $ echo "D K AB" | \ sed "s/.\{16\}\(.\{5\}\).\{4\}\(.\{5\}\)/\1\n\2/" naturalmente attiva \1 o \2 a seconda dei casi... e togli \n :-) Ciao Davide Purtròppo il campo 1 può èssere da 1 o 3 caratteri max. Avevo scritto D perche se posso acquisire 5 char, pòsso anche con 1char. Tra i vari campi c'è sempre 1 spazio, quindi questo potrebbe rendere le cose méno complicate? Ciao Ciao -- Per REVOCARE l'iscrizione alla lista, inviare un email a debian-italian-requ...@lists.debian.org con oggetto "unsubscribe". Per problemi inviare un email in INGLESE a listmas...@lists.debian.org To UNSUBSCRIBE, email to debian-italian-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/8F65FB09A6EC44E6A1AC5C06C91CA79A@rx
Re: Sed: acquisire campo più a dx?
On 06/06/2014 11:02, antispammbox-debian wrote: Salve a tutti Sapete sé sia possibile con Sed, acquisire riga per riga, tutto quello che compare più a dx di un campo, tipo: Nóme cognome età. AAA BBB CCC ... Quello che compare a dx di età! Sarebbe molto utile in questi casi sapere esattamente qual è il modello, ed avere un file d'esempio: l'età è un numero? C'è realmente quel punto '.' dopo età? C'è una riga di 'header'? etc. Ciao, Lorenzo. PS. Potresti disattivare la richiesta di lettura per le email mandate in mailing list per favore? -- Per REVOCARE l'iscrizione alla lista, inviare un email a debian-italian-requ...@lists.debian.org con oggetto "unsubscribe". Per problemi inviare un email in INGLESE a listmas...@lists.debian.org To UNSUBSCRIBE, email to debian-italian-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/5396bfe3.7010...@gmail.com
Re: OpenSSL: Altro bug
Ciao Davide, purtroppo anche un programma di una sola istruzione potrebbe a volte produrre un risultato inatteso. Nella sua evoluzione è coinvolta una montagna di software che può trovarsi in una enumerabile quantità stati diversi: per questo non puoi predire che produrrà sempre il risultato previsto, anche se "per ora" lo fà. Potresti scommettere che "a.sh" non faccia correttamente niente per il numero esatto di volte in cui viene invocato? Per esempio, se il programma "a.sh" venisse lanciato n volte ad altissima frequenza, potrebbe accadere che alcuni caratteri di input vengano persi perchè il buffer dello stdin in certi momenti è pieno e non riceve e in questo caso il risultato sarebbe imprevedibile: invece che "a.sh" arrivare all'interprete il comando "a.s" e mandare in esecuzione il programma "a.s", qualsiasi cosa faccia questo ipotetico programma. Più verosimilmente perderebbe per intero il comando ma sarebbe un errore comunque. Non importa se poi l'errore è del tuo comando o della shell o di chissà cosa: il fatto è che il sistema, nel suo complesso, può produrre risultati diversi da quelli che ci aspettiamo. Non voglio dire che l'esempio suddetto sia effettivamente reale (anche se meriterebbe rifletterci): voglio solo dire che la complessità del software non è completamente dominabile e che anche in questo campo si procede per errori e correzioni come in qualsiasi altro ambito scientifico. E' un problema del software "tout court", a prescindere se proprietario o libero. Luciano Il 09/06/2014 21:49, Davide Prina ha scritto: ahi, ahi, ahi... top quoting... questo è male ;-) fare il top quoting impedisce una corretta lettura del discorso e causa una difficile risposta. On 09/06/2014 09:30, franchi wrote: Non esiste software senza bugs. Empiricamente è dimostrabile: mostrami un programmatore che asserisce di aver scritto un software senza errori e io ti mostro un ignorante (nel senso che ignora almeno una parte di cosa ha scritto). io! ;-) il programma che termina ritornando 0 :-) - a.sh - #!/bin/bash exit 0 - end - Gli errori sono dimostrabili dipende da cosa definisci per errore :-) e per chi è un errore :-) Tieni conto che molti fanno (facevano?) programmi automatici per la ricerca di errori e pubblicano cose del tipo: analizzati i sorgenti del programma X e trovati 1.000.000 bug. Poi vai a leggere tra le righe e scopri che si rifanno ai programmatori per la verifica se quelli trovati sono effettivamente bug :-) e poi scopri che il 99,9% dei bug trovati in realtà non lo sono :-) In passato articoli come questo erano usati per indicare che il software libero non era all'altezza di quello proprietario... la correttezza mai $ if [[ $(./a.sh) -eq 0 ]]; then echo 1; else echo 2; fi 1 $ if [[ ! $(./a.sh) -eq 0 ]]; then echo 1; else echo 2; fi 2 :-) meglio dire che non esiste un metodo automatico che possa essere usato per dimostrare la correttezza di un software qualsiasi. Quindi, anche epistemologicamente, direi che il software (qualsiasi software) deve essere considerato errato a priori. questo non è corretto. Se hai fatto l'esame di metodi devi aver studiato che non esiste un software che è sempre errato. Mi ricordo che in metodi c'erano esercizi divertenti, come creare un programma che stampa sé stesso come output :-) Ciao Davide -- Per REVOCARE l'iscrizione alla lista, inviare un email a debian-italian-requ...@lists.debian.org con oggetto "unsubscribe". Per problemi inviare un email in INGLESE a listmas...@lists.debian.org To UNSUBSCRIBE, email to debian-italian-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/5396b613.90...@modula.net