Comandi Bash shell - SisInf Lab

SINTASSI: $ rmdir [opzioni] nomeDir_1 [nomeDir_n]
CORSO DI FONDAMENTI DEI SISTEMI OPERATIVI
A.A. 2012-2013
(Prof. G. Piscitelli)
Opzioni:
--ignore-fail-on-non-empty Non mostra a video il messaggio di errore
-v Verbose mode
stat
Ad ogni file sono associate una serie di informazioni o metadati, quali la dimensione, i permessi, le date di
accesso e di modifica. Queste informazioni possono essere lette dal filesystem e vengono memorizzate in una
struttura dati chiamata stat che contiene almeno i seguenti membri:
struct stat {
dev_t st_dev /*ID del device che contiene il file*/
ino_t st_ino /*n.ro inode*/
mode_t st_mode /*tipo di file e permessi*/
nlink_t st_nlink /*numero di link al file*/
uid_t st_uid /*user ID del proprietario del file*/
gid_t st_gid /*group ID del proprietario del file*/
dev_t st_rdev /*device ID (se il file è speciale a blocchi o a caratteri)*/
off_t st_size /*dimensione del file in bytes (per file regolari, directory o link)*/
time_t st_atime /*orario dell'ultimo accessoai dati*/
time_t st_mtime /*orario dell'ultima modifica ai dati*/
time_t st_ctime /*orario dell'ultimo cambiamento all'inode (ad esempio attraverso chmod)*/
blksize_t st_blksize /*dimensione del blocco per l'oggetto (è specifica del FS, può variare da file a file)*/
blkcnt_t st_blocks /*numero di blocchi allocati per l'oggetto*/
}
Per avere informazioni su data di creazione, accesso e modifica di un file si può utilizzare il comando
SINTASSI: $ stat nomeFile)
touch
Aggiorna data ed ora di ultima referenziazione del file in argomento (di default cambia sia l'orario di accesso che
di modifica), con l'orario corrente. Se il file non esiste, crea un file vuoto con data e ora corrente.
SINTASSI: $ touch [opzioni] nomeFile
Opzioni:
-a Cambia l'orario di accesso
-c Non crea il file, aggiorna solo la data di ultimo accesso
-m Cambia l'orario di modifica
Esempio:
$ touch prova/touch.exe
Esercizi
1. All'interno della vostra home directory create 2 directory denominate “uno” e “due”.
2. Copiate il file /etc/profile nella directory uno, conservandone il nome.
3. Copiate il file /etc/profile nella directory due cambiandone il nome in copia-profile.
4. Spostate il file profile nella directory due ed il file copia-profile nella directory uno.
5. Cancellate i due file con uno stesso comando.
6. Cancellate le due directory vuote.
7. Verificate il funzionamento di touch per la modifica dell'orario di ultimo accesso e per la creazione di un file
vuoto.
Esercitazioni comandi shell Bash (Ing. S. Giannini) Pagina 12