/dev/full
Nei sistemi operativi Unix-like, il /dev/full (full device, letteralmente "dispositivo pieno")[1][2] è un file della categoria "/dev" che simula un dispositivo a caratteri (non fisicamente presente sul software drive) con la caratteristica di "essere sempre pieno". Nelle operazioni di scrittura, restituisce sempre il codice di errore ENOSPC ("non c'è più spazio sul dispositivo"). Viene frequentemente usato per testare programmi qualora il dispositivo in cui operano sia pieno.
$ echo "Ciao mondo." > /dev/full
bash: echo: write error: No space left on device
Storia[modifica | modifica wikitesto]
Il supporto per il dispositivo sempre pieno in Linux è documentato già a partire dal 2007.[2] Il suo supporto nativo è stato aggiunto a FreeBSD nella versione 11.0 nel 2016,[3] anche se il sistema operativo in questione lo supportava anche precedentemente tramite il modulo opzionale chiamato "lindev".[3][4] Il dispositivo /dev/full è stato aggiunto in NetBSD 8.[5]
Note[modifica | modifica wikitesto]
- ^ (EN) Osamu Aoki, Chapter 1. GNU/Linux tutorials, su tldp.org, 22 novembre 2010. URL consultato il 22 novembre 2010 (archiviato il 15 giugno 2010).
- ^ a b (EN) Man Page for full (Linux section 4, su unix.com, 24 novembre 2007. URL consultato il 1º giugno 2011 (archiviato il 5 febbraio 2013).
- ^ a b (EN) FreeBSD 11.0-RELEASE Release Notes, su freebsd.org, FreeBSD, 10 ottobre 2016. URL consultato il 9 marzo 2019 (archiviato l'11 ottobre 2016).
- ^ (EN) LINDEV(4) Device Drivers Manual, su manpages.debian.org, Debian, 26 settembre 2009. URL consultato il 15 maggio 2021 (archiviato il 15 maggio 2021).
- ^ (EN) full(4) - NetBSD Manual Pages, su man.netbsd.org, NetBSD, 17 gennaio 2016. URL consultato l'11 gennaio 2022 (archiviato il 15 maggio 2021).
