Aldolat.it — Post con tag Formattazione

Ripristino chiavetta USB dopo uso con filesystem ISO 9660

aldolat@gmail.com (Aldo Latino) — Fri, 18 Aug 2023 22:14:31 +0200

Lo scopo di questa nota è quello di riportare una chiavetta USB — usata in precedenza come dispositivo avviabile per far partire una distribuzione Linux — a normale dispositivo di archiviazione di massa. Quando infatti usiamo una chiavetta per avviare una distro Linux, la chiavetta viene vista dal sistema come se fosse un CD, grazie alla firma ISO 9660 che viene apposta sulla chiavetta. Se dopo di ciò vogliamo usare la chiavetta come normale disco esterno, bisogna rimuovere questa firma (o firme), ripartizionarla e riformattarla. Assicurarsi quindi di operare su una chiavetta senza dati importanti.

Eliminazione delle firme

Attenzione!

L’operazione eliminerà le firme: ciò significa che le partizioni non saranno più visibili, quindi bisogna assicurarsi di lavorare su una chiavetta senza dati importanti.

Identifichiamo il device della chiavetta:

sudo fdisk -l

e annotiamoci il device (ad es., /dev/sdc).

Dare quindi il comando:

sudo wipefs --all /dev/sdc

A questo punto si può procedere con il partizionamento e la formattazione della chiavetta.

Partizionamento

Innanzitutto vediamo qual è il device su cui viene vista la chiavetta:

sudo fdisk -l

Assicuriamoci che la chiavetta non sia montata:

lsblk

Quindi avviare cfdisk:

sudo cfdisk /dev/sdX

dove X è la lettera della chiavetta, ad esempio /dev/sdc. Va inserito il device della chiavetta (in questo caso sdc, non la partizione /dev/sdc1).

In cfdisk scegliere queste opzioni:

creare una tabella di partizioni DOS;
creare una partizione unica per tutta la dimensione della chiavetta;
come tipo di partizione scegliere W95 FAT32 (LBA) (il codice c);
scrivere le operazioni.

Formattazione

Formattare il drive con:

sudo mkfs.fat -F 32 -n 'ETICHETTA' /dev/sdc1

dove:

ETICHETTA è l’etichetta da dare alla chiavetta (ma non è necessario farlo);
sdc1 è la partizione da formattare: adeguare il nome.

Per poter dare il comando mkfs.fat assicurarsi di avere installata l’utility dosfstools:

sudo pacman -S dosfstools

Fonti

Arch Linux Users, USB flash installation medium, in “ArchWiki”.
Average Linux User, How to Format a Bootable USB to Normal.

Photo credits: Microsoft Bing, A USB flash drive that transforms into a CD-ROM and then back to a USB flash drive in black and white line art, immagine creata con intelligenza artificiale, 2023.

L'articolo Ripristino chiavetta USB dopo uso con filesystem ISO 9660 è uno scritto di aldolat.it. Rispettane le condizioni di licenza.

Evitare il texturize di WordPress

aldolat@gmail.com (Aldo Latino) — Sat, 16 Apr 2011 18:38:01 +0000

Nel cantiere continuamente aperto, che è questo blog, ho trasferito tutti gli shortcode che andavo copiando di tema in tema in un plugin apposito, UBN Shortcodes, in modo da averli sempre disponibili anche su temi che intendo solo provare. Si tratta di funzioni che mi aiutano parecchio nella stesura degli articoli; unito poi all’uso di AddQuicktag¹ la cosa diventa straordinaria.

Mentre facevo questa operazione, ho aggiunto uno shortcode dedicato all’elemento pre e mi sono accorto che WordPress cambiava le virgolette diritte " in quelle tipografiche “. Mi chiedevo come mai, visto che se usavo direttamente quell’elemento il cambio non veniva operato. Era chiaro che bisognava dare uno sguardo al file /wp-includes/formatting.php e, di preciso, alla funzione wptexturize($text), una vecchia conoscenza per chi ha a che fare con la creazione di temi e plugin. Questa funzione, che appunto trasforma alcuni caratteri in altri, non viene eseguita su quei caratteri che si trovano all’interno di alcuni elementi HTML prestabiliti, e cioè:

$default_no_texturize_tags = array('pre', 'code', 'kbd', 'style', 'script', 'tt');

Come vedete, troviamo anche il nostro pre. Alla riga successiva, troviamo un altro array, ma stavolta dedicato agli shortcode da non “texturizzare”. L’array, però, contiene solo code:

$default_no_texturize_shortcodes = array('code');

Per questo motivo il mio shortcode [pre] subiva gli effetti “nefasti” di wptexturize.

Per includere in un tema o in un plugin anche altri shortcode all’array, è sufficiente aggiungere un filtro. Infatti, se nel file formatting.php guardiamo un po’ oltre, vediamo questa riga:

$no_texturize_shortcodes = '(' . implode( '|', apply_filters( 'no_texturize_shortcodes', $default_no_texturize_shortcodes ) ) . ')';

dove la presenza di apply_filters ci consente di ampliare gli shortcode che non subiscono alcuna modifica al loro contenuto. Più tecnicamente, dobbiamo creare un array di elementi HTML da assegnare a no_texturize_shortcodes che verranno quindi aggiunti all’array principale $default_no_texturize_shortcodes.

Basta così creare una funzione apposita nel proprio tema o plugin che può suonare più o meno così:

add_filter('no_texturize_shortcodes',  'ubn_no_texturize_shortcodes');

function ubn_no_texturize_shortcodes( $shortcodes_array ) {
  $shortcodes_array = array( 'pre', 'tt' );

  return $shortcodes_array;
}

Ho inserito sia pre che tt, cioè due shortcode che uso io: potete sostituirli con quelli che volete o aggiungerne d altri. Questa semplice funzione vi garantisce che il testo inserito all’interno rimarrà intatto. Con questa tecnica si può allargare, ovviamente, pure l’array dedicato ai “tags”, anche se comunque non vedo necessità di farlo.

Scrissi qualcosa su AddQuicktag in questo post. ↩︎

L'articolo Evitare il texturize di WordPress è uno scritto di aldolat.it. Rispettane le condizioni di licenza.

Aggiungere un disco fisso esterno Ext3 a Ubuntu

aldolat@gmail.com (Aldo Latino) — Thu, 28 Jun 2007 23:18:55 +0000

Questo post è la copia identica del precedente con le necessarie modifiche da Fat32 a Ext3. L’ho scritto per motivi di completezza.

Creazione della partizione e formattazione¹

Colleghiamo il disco esterno al pc e apriamo Gnome Partition Editor.

Installare Gparted.

Se non lo abbiamo installato, possiamo farlo con: sudo apt-get install gparted

Selezioniamo il disco interessato dal menu a tendina posto in alto a destra.

Facciamo un clic destro sul nome del disco o sul rettangolo che identifica il disco stesso e selezioniamo Nuovo.

Smontare i dischi.

Se il disco fisso contiene già una partizione, sicuramente è stato montato sulla scrivania. In questo caso, chiudiamo Gnome Partition Editor, apriamo il terminale e diamo il comando sudo umount /media/miodisco dove miodisco è il nome del disco che dovete smontare. Apriamo quindi Gnome Partition Editor e procediamo con l’eliminazione delle partizioni e/o la creazione di nuove.

Dalla finestra seguente scegliamo di creare una Partizione primaria e come filesystem scegliamo Ext3. Premiamo Aggiungi. Finora il programma non ha fatto alcuna modifica al disco; possiamo quindi annullare tutte le modifiche e scegliere altre opzioni. Fatto ciò possiamo applicare le modifiche cliccando sull’icona Applica. Attendiamo che le operazioni siano portate a compimento.

Cambiamo l’etichetta del disco

Fonte: Wiki di Ubuntu.com²

Completata la formattazione, stacchiamo il cavo Usb o Firewire che collega il disco esterno al pc e ricolleghiamolo. Vedremo che il disco sarà stato identificato con un nome troppo generico: disk. Sicuramente lo vogliamo chiamare con un nome migliore.

Identifichiamo ora il device del nuovo disco con:

mount

e annotiamo il device, che sarà del tipo /dev/sda1 o /dev/sdb1 ecc.

Digitiamo nel terminale:

sudo e2label /dev/sda2 MioDisco

cambiando il device (=dev) secondo quanto ci avrà detto poco fa e la parola MioDisco con il nome che vogliamo noi.

Smontiamo il disco con un clic destro sull’icona relativa sulla scrivania, stacchiamo il cavo Usb o Firewire e ricolleghiamolo. Avremo il disco montato con la nuova etichetta.

Impostiamo i permessi

Sicuramente, una volta montato il disco, potremo copiarvi i file, ma non cancellarli. Dobbiamo, quindi, impostare i permessi corretti. Possiamo scegliere in modo che solo noi possiamo modificare i file; diamo quindi:

sudo chown -R utente:utente /media/MioDisco

cambiando utente col nostro nome di login e MioDisco col nome del disco (l’etichetta che abbiamo appena assegnato).

Possiamo, però, impostare i permessi in un modo più flessibile, assegnando ad un determinato gruppo la possibilità di modificare i file del nuovo disco. Il gruppo è plugdev, cui appartengono gli utenti desktop, cioè quelli abilitati a montare i dischi rimovibili.

Diamo in sequenza questi comandi:

sudo chgrp plugdev /media/MioDisco

sudo chmod g+w /media/MioDisco

sudo chmod +t /media/MioDisco

cambiando MioDisco col nome del disco.

Il primo comando assegna la directory dove montiamo il disco al gruppo plugdev (cioè noi, desktop users); il secondo imposta i permessi di scrittura; il terzo fa sì che solo i rispettivi autori dei file possano cancellarli (per cui se abbiamo più utenti che usano lo stesso disco esterno, tutti possono scrivere, ma solo i proprietari possono cancellare i propri file).

Per altri metodi di partizionamento o per maggiori informazioni consultare la pagina del wiki di Ubuntu.com. ↩︎
Sulla pagina del wiki vengono spiegati tutti i metodi per rinominare le etichette dei dischi formattati con diversi filesystem: Ext2, Ext3, Fat, Ntfs, ReiserFS. ↩︎

L'articolo Aggiungere un disco fisso esterno Ext3 a Ubuntu è uno scritto di aldolat.it. Rispettane le condizioni di licenza.

Aggiungere un disco fisso esterno Fat32 a Ubuntu

aldolat@gmail.com (Aldo Latino) — Thu, 28 Jun 2007 21:34:02 +0000

Oggi ho aggiunto un disco fisso esterno alla mia Linux-box: un hd da 250 giga in un case con porte Usb 2.0 e Firewire. Come è ormai consuetudine per me, mi appunto qui ciò che ho “combinato” per poterlo usare sul mio amato Sistema Operativo.

Ntfs

Come saprete utilizzo ancora per necessità Windows; per questo motivo avevo pensato di formattare il disco in Ntfs. Fatta l’operazione e montato il disco sulla scrivania, comincio a trasferire i file, ma l’operazione è di una lentezza insopportabile. La cpu schizza ad un utilizzo del 100%, e il tempo per copiare 1,5 giga sarebbe stato di circa 20 minuti. Per me è improponibile usarlo così, per cui opto per Fat32.

Fat32

Creazione della partizione e formattazione¹

Apriamo Gnome Partition Editor.

Installare Gparted.

Se non lo abbiamo installato, possiamo farlo con:

sudo apt-get install gparted

Selezioniamo il disco interessato dal menu a tendina posto in alto a destra.

Facciamo un clic destro sul nome del disco o sul rettangolo che identifica il disco stesso e selezioniamo Nuovo.

Smontare i dischi.

Se il disco fisso contiene già una partizione, sicuramente è stato montato sulla scrivania. In questo caso, chiudiamo Gnome Partition Editor, apriamo il terminale e diamo il comando

sudo umount /media/miodisco

dove miodisco è il nome del disco che dovete smontare. Apriamo quindi Gnome Partition Editor e procediamo con l’eliminazione delle partizioni e/o la creazione di nuove.

Dalla finestra seguente scegliamo di creare una Partizione primaria e come filesystem scegliamo Fat32. Premiamo Aggiungi. Finora il programma non ha fatto alcuna modifica al disco; possiamo quindi annullare tutte le modifiche e scegliere altre opzioni. Fatto ciò possiamo applicare le modifiche cliccando sull’icona Applica. Attendiamo che le operazioni siano portate a compimento.

Cambiamo l’etichetta del disco

Fonte: Wiki di Ubuntu.com²

Siccome lo abbiamo formattato in Fat32, dobbiamo installarci un tool per questa operazione.

Digitiamo nel terminale:

sudo apt-get install mtools

Identifichiamo ora il device del nuovo disco con:

mount

e annotiamo il device, che sarà del tipo /dev/sda1 o /dev/sdb1 ecc.

Controlliamo quale sia l’attuale etichetta (o label) del disco:

sudo mlabel -i /dev/sda2 -s ::

cambiando il device con quello corrispondente. Probabilmente ci verrà risposto:

Volume has no label

Diamo allora:

sudo mlabel -i /dev/sda2 ::MioDisco

cambiando il device (=dev)con quello corrispondente e la parola MioDisco con il nome che vogliamo noi.

Smontiamo il disco con un clic destro sull’icona relativa sulla scrivania, stacchiamo il cavo Usb o Firewire e ricolleghiamolo. Avremo il disco montato con la nuova etichetta.

Impostiamo i permessi

sudo chown -R utente:utente /media/MioDisco

cambiando utente col nostro nome di login e MioDisco col nome del disco (l’etichetta che abbiamo appena assegnato).

Diamo in sequenza questi comandi:

sudo chgrp plugdev /media/MioDisco

sudo chmod g+w /media/MioDisco

sudo chmod +t /media/MioDisco

cambiando MioDisco col nome del disco.

Per altri metodi di partizionamento o per maggiori informazioni consultare la pagina del wiki di Ubuntu.com. ↩︎
Sulla pagina del wiki vengono spiegati tutti i metodi per rinominare le etichette dei dischi formattati con diversi filesystem: Ext2, Ext3, Ntfs, ReiserFS. ↩︎

L'articolo Aggiungere un disco fisso esterno Fat32 a Ubuntu è uno scritto di aldolat.it. Rispettane le condizioni di licenza.

Aggiungere un disco fisso interno Ext3 a Ubuntu

aldolat@gmail.com (Aldo Latino) — Mon, 25 Dec 2006 19:14:51 +0000

Questo post nasce dopo una chiacchierata con Andynat su Gaim.

Oggi ho aggiunto un vecchio disco fisso interno da 20 Gb alla mia amata distro e ovviamente l’ho formattato in Ext3. Ora lo uso come disco di archivio per i miei file. Ad ogni avvio viene montato, mi appare l’icona sulla scrivania e ho i permessi di lettura e scrittura. Ecco come ho fatto io.

Prepariamo il disco

Una volta installato fisicamente il disco fisso nel case e avviata la macchina, il disco fisso non viene montato automaticamente dal sistema. Qualcuno potrebbe dire:

In Windows è più facile: basta installare il disco e te lo ritrovi pronto per l’uso!

E io rispondo:

Si è vero, forse in Windows è più facile… Ma in Linux sei solo e soltanto TU a decidere quello che la tua macchina deve fare e come lo deve fare. Linux non è scemo: sa che esiste il disco, ma attende che sia tu a dirgli cosa fare. Non fa nulla di testa sua.

Per cui, installato il disco, dobbiamo farglielo montare. Nel mio caso, poiché era formattato con altro filesystem, per prima cosa ho proceduto alla cancellazione delle partizioni esistenti, creazione delle nuove partizioni e successiva formattazione Ext3. Per fare questo ho usato Gparted. Lo trovate sotto Sistema / Amministrazione / Gnome Partition Editor. Se non lo avete, aprite il terminale e digitate:

sudo apt-get install gparted

Da Gparted potete selezionare i dischi installati (ecco che Linux sa già che il vostro nuovo disco è installato!), e fare tutte le operazioni che volete. Nel mio caso ho piallato tutto il disco nuovo e formattato con un’unica partizione primaria Ext3. Fatta l’operazione, annotatevi il nome della partizione appena creata: ci servirà dopo. Nel mio caso il disco si chiama hdd, mentre la partizione appena creata si chiama hdd1.

Creiamo la directory dove montare il disco

Preparato il disco, creiamo la directory dove montare il disco. Io ovviamente ho scelto di montarla dentro /media. Da terminale:

sudo mkdir /media/MioNuovoDisco

dove MioNuovoDisco è un nome fittizio: voi mettete quello che vi piace di più.

Rendiamo la cartella scrivibile

Ora, questa cartella è di proprietà esclusiva dell’utente root. Siccome vogliamo usare il disco per poterci scrivere, dobbiamo dire a Linux che tutto ciò che sarà qui dentro deve essere leggibile e scrivibile. Da terminale in un’unica riga:

sudo chown mioutente:miogruppo /media/MioNuovoDisco

cambiando:

mioutente:miogruppo con il vostro nome (account linux) e il vostro gruppo (io ho messo semplicemente aldo:aldo);
/media/MioNuovoDisco col nome che avete dato alla cartella

Definiamo il mount-point in /etc/fstab

Apriamo ora il file dove definiamo tutti i punti di mount dei vari filesystem:

sudo gedit /etc/fstab

e aggiungiamo alla fine del file qualcosa del tipo:¹

# Disco nuovo
/dev/hdd1 /media/MioNuovoDisco ext3 defaults 0 0

dove voi cambierete:

/dev/hdd1 con quello che vi ha detto prima gparted²
/media/MioNuovoDisco con il nome della cartella che avete creato

Salvate e chiudete. Riavviate. Dopo il riavvio avrete sulla scrivania l’icona del nuovo disco formattato Ext3.

Al posto di /dev/hdd1 potete usare il nuovo modo di Edgy per identificare le partizioni tramite un’etichetta UUID. Se aprite il file /etc/fstab, la vedrete all’inizio della stringa che identifica le varie partizioni. Potete procedere così. Da terminale date: sudo vol_id -u /dev/hdd1 sostituendo /dev/hdd1 con la partizione di cui volete conoscere l’etichetta. Ad es., nel mio caso, l’etichetta che mi dà è 77a80b28-f0a3-43dd-9c85-2dba0a400aa9. Per cui la riga da inserire al posto di /dev/hdd1 /media/MioNuovoDisco ext3 defaults 0 0 nel mio caso è questa: UUID=77a80b28-f0a3-43dd-9c85-2dba0a400aa9 /media/MioNuovoDisco ext3 defaults 0 0. Se non avete installato vol_id, lo trovate nel pacchetto volumeid: sudo apt-get install volumeid. Sul forum di ubuntu-it.org trovate uno script interessante per capire come aggiungere le varie partizioni a /etc/fstab. In pratica lo script analizza tutti i volumi e le partizioni, vede se sono già inseriti nel file /etc/fstab e, solo se non lo sono, vi propone la riga o le righe da aggiungere al file. Lui non modifica assolutamente nulla: solo vi proporrà la riga che dovrete inserire voi. Provatelo. ↩︎
Qui trovate un’istruttiva spiegazione dell’fstab (suggerimento di r00t). ↩︎

L'articolo Aggiungere un disco fisso interno Ext3 a Ubuntu è uno scritto di aldolat.it. Rispettane le condizioni di licenza.

Aldolat.it — Post con tag Formattazione

Ripristino chiavetta USB dopo uso con filesystem ISO 9660

Eliminazione delle firme

Partizionamento

Formattazione

Fonti

Evitare il texturize di WordPress

Aggiungere un disco fisso esterno Ext3 a Ubuntu

Creazione della partizione e formattazione1

Cambiamo l’etichetta del disco

Impostiamo i permessi

Aggiungere un disco fisso esterno Fat32 a Ubuntu

Ntfs

Fat32

Creazione della partizione e formattazione1

Cambiamo l’etichetta del disco

Impostiamo i permessi

Aggiungere un disco fisso interno Ext3 a Ubuntu

Prepariamo il disco

Creiamo la directory dove montare il disco

Rendiamo la cartella scrivibile

Definiamo il mount-point in /etc/fstab

Creazione della partizione e formattazione¹

Creazione della partizione e formattazione¹