|
Dimensione: 2689
Commento: OCaml pronta
|
← Versione 119 del 14/03/2011 12.47.49 ⇥
Dimensione: 4057
Commento: converted to 1.6 markup
|
| Le cancellazioni sono segnalate in questo modo. | Le aggiunte sono segnalate in questo modo. |
| Linea 1: | Linea 1: |
| ## page was renamed from AlessioTreglia/Prove | |
| Linea 3: | Linea 4: |
| [[BR]] ||<tablestyle="float:right; font-size: 0.9em; width:40%; background:#F1F1ED; margin: 0 0 1em 1em;" style="padding:0.5em;border-right:none;">'''Indice'''[[BR]] [[TableOfContents(1)]] || |
<<BR>> <<Indice>> <<Bug(ubuntu 68 3 5 gnome 21 kde 9 xfce 8)>> |
| Linea 8: | Linea 11: |
| '''Objective Caml''' è un linguaggio di programmazione [http://it.wikipedia.org/wiki/Open_source open source] appartenente alla famiglia dei linguaggi ML, nato nel 1996 nei laboratori dell'[http://www.inria.fr/ INRIA]. | Questa guida illustra un procedimento utile per ripristinare il sistema in tutte quelle situazioni nelle quali non è più possibile riavviarlo. |
| Linea 10: | Linea 13: |
| La presente guida contiene delle istruzioni utili all'installazione dell'interprete, di un ambiente di sviluppo dedicato e del supporto per gli [:EditorDiTesto:editor di testo] distribuiti con il sistema. | = Recuperare un sistema danneggiato = |
| Linea 12: | Linea 15: |
| = Installazione dell'interprete e della documentazione = | Può capitare che qualcosa vada storto e il sistema, che è stato accuratamente installato e configurato, non sia più avviabile. È possibile che si sia danneggiata la configurazione di [[AmministrazioneSistema/Grub|GRUB]] durante un aggiornamento oppure che un nuovo kernel non si avvii. A prescindere dalla causa è necessario avere un sistema funzionante per riparare il sistema originale, in questo caso può essere utile la modalità di ripristino. |
| Linea 14: | Linea 17: |
| Per installare l'interprete e la relativa documentazione è sufficiente [:InstallareProgrammi:installare] i pacchetti ''ocaml'' e ''ocaml-doc''. | == Attivare la modalità di ripristino == |
| Linea 16: | Linea 19: |
| = Installazione di Cameleon = | Per attivare la modalità di ripristino inserire '''rescue''' al prompt '''boot:''' oppure avviare usando il parametro rescue/enable=true. Verranno mostrate le prime schermate dell'installatore con una nota in un angolo che indica si sta usando la modalità di ripristino e non quella d'installazione. Il sistema non verrà sovrascritto! La modalità di ripristino si avvale delle funzionalità per il riconoscimento dell'hardware presenti nell'installatore in modo da garantire che i dischi, i dispositivi di rete, ecc. siano disponibili mentre si cerca di riparare il sistema. |
| Linea 18: | Linea 21: |
| Per sviluppare in '''Objective Caml''' è possibile fare uso di un ambiente di sviluppo integrato quale è '''Cameleon'''. Dotato di una buona interfaccia grafica personalizzabile e di numerose caratteristiche, '''Cameleon''' mette a disposizione dell'utente un editor avanzato e funzionalità specifiche per il linguaggio. | Al posto del programma di partizionamento viene mostrato un elenco delle partizioni sul sistema e viene chiesto di sceglierne una. Normalmente si sceglie la partizione che contiene il filesystem di root che si vuole riparare. Si possono scegliere le partizioni su device RAID e LVM ma anche quelle create direttamente sui dischi. |
| Linea 20: | Linea 23: |
| Per installare l'IDE è sufficiente installare il pacchetto ''cameleon'' con uno fra [:Synaptic] e [:Adept]. In alternativa è possibile installarlo anche tramite [:Apt:apt-get], digitando il seguente comando in una finestra di terminale: {{{ sudo apt-get install cameleon }}} |
Se possibile l'installatore fornisce una shell sul filesystem che si è scelto, questa shell può essere usata per effettuare qualsiasi operazione necessaria al ripristino. |
| Linea 25: | Linea 25: |
| La documentazione è contenuta nel pacchetto ''cameleon-doc''. | Se l'installatore non è in grado di fornire una shell usabile nel file system che si è scelto come root forse il file system è corrotto e dopo aver dato un avviso viene invece fornita una shell nell'ambiente dell'installatore. In questo ambiente non sono disponibili molti strumenti ma dovrebbero essere comunque sufficienti per ripristinare il sistema. Il file system che era stato scelto come quello di root viene invece montato sulla directory /target. |
| Linea 27: | Linea 27: |
| = OCaml e l'editor di testo = | In entrambi i casi una volta chiusa la shell il sistema si riavvia automaticamente. |
| Linea 29: | Linea 29: |
| È possibile editare il codice in '''OCaml''' all'interno del proprio [:EditorDiTesto:editor di testo] preferito semplicemente installando i pacchetti contenenti i plugin adatti allo scopo. == Supporto per Vim == Per abilitare il supporto con l'editor [:Vim] è sufficiente installare il pacchetto ''ocaml-tools''. == Supporto per Emacs == Per abilitare il supporto con l'editor [:Emacs] è possibile installare un pacchetto a scelta fra ''ocaml-mode'' e ''tuareg-mode''. ||<tablestyle="text-align: justify; width:100%; " style="border:none;" 5%>[[Immagine(Icone/Grandi/info.png,,center)]] ||<style="padding:0.5em; border:none;">Se si desidera utilizzare l'editor all'interno di un [:AmbienteGrafico:ambiente grafico] è consigliato installare la versione di '''emacs''' per [:Emacs#gnome:GNOME]. || |
Si noti che riparare dei sistemi danneggiati può essere molto complicato e questo manuale non analizza tutti i particolari che si possono danneggiare e come ripristinarli. Se non si sa cosa fare si consulti un esperto. |
| Linea 42: | Linea 33: |
| * [http://caml.inria.fr/ Sito ufficiale del linguaggio] * [http://caml.inria.fr/pub/docs/manual-ocaml/index.html Manuale in linea] * [http://home.gna.org/cameleon/ Sito ufficiale di Cameleon] |
* [[https://help.ubuntu.com/7.04/installation-guide/i386/rescue.html|Documento originale]] * [[http://www.debian.org/releases/stable/hppa/ch08s07.html.it|Ripristinare un sistema Debian danneggiato]] -------------- ||||'''Colori usati nei portali'''|| ||'''Portale'''||'''Colore'''|| || [[Multimedia]] ||<style="background-color:#c7cbff;">#c7cbff || || [[InternetRete]] ||<style="background-color:#f6a659; color:white;">#f6a659 || || [[Hardware]] ||<style="background-color:#eeeeec;">#eeeeec || || [[Sicurezza]] ||<style="background-color:#6699CC;">#6699CC || || [[Server]] ||<style="background-color:#6BC555;">#6bc555|| || [[AmbienteGrafico]] ||<style="background-color:#5cb613;">#5cb613 || || [[Programmazione]] ||<style="background-color:#C785B9; color:white;">#c785b9 || || [[Architettura64Bit]] ||<style="background-color:#D6D6D6;">#d6d6d6 || || [[Giochi]] ||<style="background-color:#74C9C8;">#74c9c8 || || [[Ufficio]] ||<style="background-color:#ffe452;">#ffe452 || || [[AmministrazioneSistema]] ||<style="background-color:#e0cd4e;">#e0cd4e|| || [[Emulatori]] ||<style="background-color:#ff5c4d;">#ff5c4d || || [[Grafica]] ||<style="background-color:magenta; color:white;">magenta || || [[Radioamatori]] ||<style="background-color:#004dff;">#004dff || |
Introduzione
Questa guida illustra un procedimento utile per ripristinare il sistema in tutte quelle situazioni nelle quali non è più possibile riavviarlo.
Recuperare un sistema danneggiato
Può capitare che qualcosa vada storto e il sistema, che è stato accuratamente installato e configurato, non sia più avviabile. È possibile che si sia danneggiata la configurazione di GRUB durante un aggiornamento oppure che un nuovo kernel non si avvii. A prescindere dalla causa è necessario avere un sistema funzionante per riparare il sistema originale, in questo caso può essere utile la modalità di ripristino.
Attivare la modalità di ripristino
Per attivare la modalità di ripristino inserire rescue al prompt boot: oppure avviare usando il parametro rescue/enable=true. Verranno mostrate le prime schermate dell'installatore con una nota in un angolo che indica si sta usando la modalità di ripristino e non quella d'installazione. Il sistema non verrà sovrascritto! La modalità di ripristino si avvale delle funzionalità per il riconoscimento dell'hardware presenti nell'installatore in modo da garantire che i dischi, i dispositivi di rete, ecc. siano disponibili mentre si cerca di riparare il sistema.
Al posto del programma di partizionamento viene mostrato un elenco delle partizioni sul sistema e viene chiesto di sceglierne una. Normalmente si sceglie la partizione che contiene il filesystem di root che si vuole riparare. Si possono scegliere le partizioni su device RAID e LVM ma anche quelle create direttamente sui dischi.
Se possibile l'installatore fornisce una shell sul filesystem che si è scelto, questa shell può essere usata per effettuare qualsiasi operazione necessaria al ripristino.
Se l'installatore non è in grado di fornire una shell usabile nel file system che si è scelto come root forse il file system è corrotto e dopo aver dato un avviso viene invece fornita una shell nell'ambiente dell'installatore. In questo ambiente non sono disponibili molti strumenti ma dovrebbero essere comunque sufficienti per ripristinare il sistema. Il file system che era stato scelto come quello di root viene invece montato sulla directory /target.
In entrambi i casi una volta chiusa la shell il sistema si riavvia automaticamente.
Si noti che riparare dei sistemi danneggiati può essere molto complicato e questo manuale non analizza tutti i particolari che si possono danneggiare e come ripristinarli. Se non si sa cosa fare si consulti un esperto.
Ulteriori risorse
Colori usati nei portali |
|
Portale |
Colore |
#c7cbff |
|
#f6a659 |
|
#eeeeec |
|
#6699CC |
|
#6bc555 |
|
#5cb613 |
|
#c785b9 |
|
#d6d6d6 |
|
#74c9c8 |
|
#ffe452 |
|
#e0cd4e |
|
#ff5c4d |
|
magenta |
|
#004dff |
|
