Come eliminare file e directory nel terminale Linux? Comando RMDIR (RD) – elimina una directory del file system Windows Elimina una cartella in Linux dalla console


I comandi rm e rmdir eliminano file e directory su Linux, macOS e altri sistemi operativi simili a Unix. Sono simili ai comandi del e deltree in Windows e DOS. Questi comandi sono molto potenti e hanno parecchie opzioni.

È importante notare che i file e le directory eliminati utilizzando rm e rmdir non vengono spostati nel Cestino. Vengono immediatamente rimossi dal tuo computer. Se hai eliminato accidentalmente dei file utilizzando questi comandi, potrai ripristinarli solo da un backup.

Come eliminare file utilizzando rm

Il caso più semplice è l'eliminazione di un singolo file nella directory corrente. Digita il comando rm, uno spazio e quindi il nome del file che desideri eliminare.

Rm file_1.txt

Se il file non si trova nella directory di lavoro corrente, fornire il percorso della posizione del file.

Rm ./percorso/del/file/file_1.txt

Puoi passare più di un nome file a rm. Ciò elimina tutti i file specificati.

Rm file_2.txt file_3.txt

I caratteri jolly possono essere utilizzati per selezionare gruppi di file da eliminare. Cartello * rappresenta più caratteri e il carattere ? rappresenta un carattere. Questo comando eliminerà tutti i file di immagine PNG nella directory di lavoro corrente.

Rm * .png

Questo comando eliminerà tutti i file con la stessa estensione di caratteri. Ad esempio, ciò eliminerà File.1 e File.2, ma non File.12.

Rm*.?

Se il file è protetto da scrittura, ti verrà richiesto di eliminare il file. Devi rispondere con O N e premere "Invio".

Per ridurre il rischio di utilizzare rm con caratteri jolly, utilizzare l'opzione -io(interattivo). Per fare ciò, è necessario confermare l'eliminazione di ciascun file.

Rm -i * .dat

Opzione -F(forza) è l'opposto di interattivo. Non richiede conferma anche se i file sono protetti da scrittura.

Rm -f nomefile

Come rimuovere le directory usando rm

Per rimuovere una directory vuota, utilizzare l'opzione -D(elenco). È possibile utilizzare i caratteri jolly (* e ?) nei nomi delle directory proprio come nei nomi dei file.

Rm -d directory

Fornendo più di un nome di directory si rimuovono tutte le directory vuote specificate.

Rm -d directory1 directory2 /percorso/della/directory3

Per rimuovere directory non vuote, utilizzare l'opzione -R(ricorsivo). Per essere chiari, questo cancella le directory e tutti i file e le sottodirectory contenuti al loro interno.

Rm -r directory1 directory2 directory3

Se la directory o il file sono protetti da scrittura, ti verrà richiesto di confermare l'eliminazione. Per rimuovere directory non vuote ed eliminare queste richieste, utilizzare le opzioni insieme -R(ricorsivo) e -F(costretto).

Rm -rf directory

Qui è richiesta cautela. Errore di comando rm -rf potrebbe causare la perdita di dati o il malfunzionamento del sistema. Questo è pericoloso e la cautela è la politica migliore. Per avere un'idea della struttura delle directory e dei file che verranno eliminati da rm -rf, utilizzare il comando tree.

Usa apt-get per installare questo pacchetto sul tuo sistema se stai usando Ubuntu o un'altra distribuzione basata su Debian. Su altre distribuzioni Linux, utilizza lo strumento di gestione dei pacchetti della tua distribuzione Linux.

Sudo apt-get albero di installazione

L'esecuzione del comando tree produce un diagramma di facile comprensione della struttura delle directory e dei file nella directory da cui viene eseguito.

È inoltre possibile specificare il percorso del comando tree in modo che esegua l'albero da un'altra directory nel file system.

Percorso/alla/directory dell'albero

Il comando rm ha anche le opzioni --one-file-system , --no-preserve-root , --preserve-root , ma queste sono consigliate solo agli utenti esperti. Se fai qualcosa di sbagliato, potresti eliminare accidentalmente tutti i file di sistema.

Come rimuovere le directory usando rmdir

C'è un altro comando, rmdir, che puoi usare per rimuovere le directory. La differenza tra rm e rmdir è che rmdir può eliminare solo directory vuote. Non eliminerà mai i file.

Il caso più semplice è l'eliminazione di una directory vuota. Come con rm , puoi passare più nomi di directory a rmdir o rmdir un percorso di directory.

Rimuovi una directory nella directory corrente passando il suo nome a rmdir:

Directory Rmdir

Rimuovi più directory passando un elenco di nomi a rmdir:

Rmdir directory1 directory2 directory3

Rimuovi una directory non presente nella directory corrente specificando il percorso completo di quella directory:

Rmdir /percorso/della/directory

Se provi a eliminare una cartella che non è vuota, rmdir ti darà un messaggio di errore. Nell'esempio seguente, rmdir elimina con successo e in modo invisibile la directory dei client ma rifiuta di eliminare la directory dei progetti perché contiene file. La directory dei progetti rimane esattamente com'era e i file in essa contenuti non vengono toccati.

Quando rmdir genera un errore "Directory non vuota", interrompe l'elaborazione delle directory passategli sulla riga di comando. Se hai chiesto di eliminare quattro directory e la prima conteneva file, rmdir ti darà un messaggio di errore e non farà nient'altro. Puoi forzarlo a ignorare questi errori con --ignore-fail-on-non-empty per elaborare altre directory.

Nell'esempio seguente, due cartelle sono state trasferite in rmdir, sono lavoro/report e lavoro/preventivi. L'opzione --ignore-fail-on-non-empty è inclusa nel comando. La cartella lavoro/report contiene file, quindi rmdir non può eliminarla. L'opzione --ignore-fail-on-non-empty fa sì che rmdir ignori l'errore e passi alla cartella successiva che deve elaborare, ovvero work/quotes. Questa è una cartella vuota e rmdir la elimina.

È stato utilizzato questo comando.

Rmdir --ignore-fail-on-non-empty lavoro/rapporti/lavoro/quotazioni

Puoi usare l'opzione -P(genitore) per rimuovere una directory e rimuovere anche le sue directory principali. Questo trucco funziona perché rmdir inizia nella directory di destinazione e poi torna alla directory principale. Questa directory ora dovrebbe essere vuota in modo che possa essere rimossa da rmdir e il processo ripete il passo indietro lungo il percorso fornito da rmdir.

Nell'esempio seguente, il comando passato a rmdir è:

Rmdir -p lavoro/fatture

Le fatture e gli elenchi di lavoro vengono cancellati su richiesta.

Stai usando Bash o qualsiasi altra shell? Linux fornisce comandi flessibili e potenti per eliminare directory e file direttamente dalla riga di comando del terminale. Alcune persone preferiscono avere un flusso di lavoro che ruota attorno a un terminale. Altri potrebbero non avere scelta in merito. Possono essere eseguiti su server senza GUI installata o in una sessione remota su un sistema autonomo come un Raspberry Pi. Queste squadre sono perfette per questo gruppo di persone.

Ma qualunque sia il tipo di flusso di lavoro che preferisci, questi comandi si prestano molto bene ad essere inclusi negli script di shell. Se lo script viene eseguito da un processo cron, può aiutare ad automatizzare le attività di routine come la pulizia dei file di registro indesiderati. Se stai esplorando questo caso d'uso, sii consapevole della potenza di questi comandi, controlla tutto attentamente e conserva sempre un backup recente.

La riga di comando è un potente strumento per automatizzare e semplificare molte delle attività che si presentano quando si amministra un computer che esegue il sistema operativo Windows. In questo articolo esamineremo i comandi DEL, ERASE, RD e RMDIR. Con il loro aiuto, puoi eliminare file e cartelle direttamente dalla riga di comando.

Se è necessario eliminare un file tramite , è necessario utilizzare il comando DEL o ERASE. Questi comandi sono sinonimi e funzionano allo stesso modo. Puoi ottenere informazioni dettagliate su questi comandi se li inserisci nella riga di comando con "/? " Ad esempio, puoi digitare "del/? " e tutte le informazioni di base sul comando del verranno visualizzate nella console.

Il comando DEL (o ERASE) è progettato per eliminare uno o più file e può accettare i seguenti parametri:

  • /P – cancellazione con richiesta di conferma per ogni file;
  • /F – eliminazione dei file con l'attributo “sola lettura”;
  • /S – cancella il file specificato da tutte le sottocartelle;
  • /Q – cancellazione senza richiesta di conferma;
  • /A – eliminazione dei file in base ai loro attributi;

    • S - Sistema;
    • H - Nascosto;
    • R – Sola lettura;
    • R - Per l'archiviazione
    • Puoi anche usare il segno meno “-” davanti agli attributi, che ha il significato “NOT”. Ad esempio, "-S" indica un file non di sistema.

In genere, per utilizzare il comando DEL, è necessario prima accedere alla cartella in cui si trova il file da eliminare, quindi eseguire il comando. Per cambiare l'unità è sufficiente inserire la lettera dell'unità e i due punti. E per spostarti tra le cartelle devi usare il comando " CD".

Una volta che ti trovi nella cartella desiderata, puoi iniziare a eliminare i file. Per fare ciò, inserisci semplicemente il comando DEL e il nome del file.

Inoltre, se necessario, puoi eliminare i file senza navigare tra le cartelle. In questo caso, è necessario specificare il percorso completo del documento.

Se è necessario eseguire una richiesta per confermare l'eliminazione di ciascuno dei propri file, è necessario aggiungere il parametro "/p" al comando DEL. In questo caso, la riga di comando ti chiederà di eliminare il file e l'utente dovrà inserire la lettera "Y" per confermare.

È opportuno notare che quando si utilizza il parametro “/a” le lettere responsabili degli attributi devono essere inserite separate da due punti. Ad esempio, per eliminare tutti i file con l'attributo “sola lettura” e con l'estensione “txt”, è necessario inserire il comando “ del /F /A:R *.txt ".

Puoi aggiungere altri parametri al comando DEL in modo simile. Combinandoli puoi creare comandi molto potenti per eliminare file tramite la riga di comando di Windows. Di seguito forniamo alcuni ulteriori esempi:

  • del D:\ - distrugge tutti i file nella radice dell'unità D;
  • del D:\*.txt – distruzione di tutti i file con estensione txt nella radice dell'unità D;
  • del D:\doc – distruzione di tutti i file nella cartella d:\doc (i documenti con attributi verranno saltati);
  • del /A:r d:\doc\*.txt – distruzione di tutti i file con l'attributo “sola lettura” e l'estensione “txt” nella cartella d:\doc;

Eliminazione di cartelle tramite la riga di comando

Se devi eliminare una cartella tramite la riga di comando di Windows, i comandi precedenti non ti aiuteranno. Per rimuovere le cartelle, esiste un comando separato RD o RMDIR (abbreviazione di Rimuovi directory).

I comandi RD e RMDIR sono sinonimi e hanno lo scopo di eliminare le cartelle. Possono accettare i seguenti parametri:

  • /S - cancella l'intero albero delle directory; quando si utilizza questo parametro, non solo la cartella stessa verrà cancellata, ma anche tutto il suo contenuto;
  • /Q – elimina un albero di cartelle senza chiedere conferma;

Ad esempio, per eliminare una cartella, basta inserire il comando RD e il nome della cartella.

Se una cartella contiene sottocartelle o file, verrà visualizzato un errore durante l'eliminazione."

Per risolvere questo problema, è necessario aggiungere il parametro "/s" al comando RD. In questo caso la cancellazione procede senza problemi, ma appare una richiesta di conferma della cancellazione.

Per eliminare l'albero delle cartelle senza che venga visualizzata una richiesta di conferma, è necessario aggiungere il parametro "/q" al comando. In questo caso, la cartella viene eliminata senza che vengano poste domande.

Inoltre, il comando RD può accettare più cartelle contemporaneamente; per fare ciò, devi solo separarle con uno spazio. Ad esempio, se esegui "rd 111 222", puoi eliminare le cartelle denominate "111" e "222" contemporaneamente.

Se è necessario eliminare una cartella tramite la riga di comando che a sua volta contiene uno spazio, in questo caso il suo nome deve essere racchiuso tra virgolette doppie.

Combinando i comandi DEL e RD, puoi creare potenti script per pulire ed eliminare le cartelle nel sistema operativo Windows.

I sistemi operativi basati sul kernel Linux solitamente memorizzano un gran numero di directory vuote e non vuote. Alcuni di essi occupano una quantità piuttosto grande di spazio di archiviazione e spesso diventano inutili. In questo caso, l’opzione corretta sarebbe rimuoverli. Esistono diversi modi per eseguire la pulizia, ognuno di essi è applicabile in una situazione specifica. Vediamo più nel dettaglio tutti i metodi disponibili e sceglierai quello più adatto in base alle tue esigenze.

In questo articolo parleremo delle utilità della console e degli strumenti aggiuntivi che vengono avviati inserendo i comandi. Tuttavia, non dimenticare che le shell grafiche sono spesso implementate nelle distribuzioni. Di conseguenza, per eliminare una directory, è sufficiente accedervi tramite il file manager, fare clic con il tasto destro sull'icona e selezionare "Eliminare". Non dimenticare di svuotare la spazzatura in seguito. Questa opzione però non sarà applicabile a tutti gli utenti, quindi ti consigliamo di leggere le seguenti guide.

Prima di iniziare a considerare i metodi, è importante notare che quando si immette un comando, molto spesso indicherai autonomamente il nome della cartella che desideri eliminare. Quando non ti trovi nella sua posizione, devi fornire il percorso completo. Se possibile, ti consigliamo di trovare la directory principale dell'oggetto e di accedervi tramite la console. Questa azione viene completata in pochi minuti:


Se non riesci a determinare la posizione, al momento dell'eliminazione dovrai inserire tu stesso il percorso completo, quindi dovrai conoscerlo.

Metodo 1: comandi Terminale standard

La shell dei comandi di qualsiasi distribuzione Linux contiene una serie di utilità e strumenti di base che consentono di eseguire un'ampia varietà di azioni con le impostazioni e i file di sistema, inclusa l'eliminazione delle directory. Esistono diverse utilità di questo tipo e ciascuna sarà molto utile in una determinata situazione.

comando rmdir

Prima di tutto, vorrei toccare rmdir. È progettato per pulire il sistema solo dalle directory vuote. Li rimuove definitivamente e il vantaggio di questo strumento è la semplicità della sua sintassi e l'assenza di errori. Nella console basta scrivere rmdir cartella, dove cartella— il nome della cartella nella posizione corrente. Lo strumento si attiva premendo un tasto accedere.

Non c'è nulla che ti impedisca di specificare il percorso completo della directory se non puoi raggiungere la posizione che desideri o non è necessario. Quindi la riga assume, ad esempio, la seguente forma: rmdir /home/user/folder/folder1 , dove utente- Nome utente, cartellaè la directory principale e cartella1— cartella da eliminare. Tieni presente che prima di casa deve esserci una barra, ma alla fine del percorso non deve esserci alcuna barra.

comando rm

Lo strumento precedente è uno dei componenti dell'utilità rm. Inizialmente è previsto l'eliminazione dei file, ma se gli si fornisce l'argomento appropriato, cancellerà anche la cartella. Questa opzione è già adatta per le directory non vuote; in questo caso è necessario inserire la cartella rm -R (o il percorso completo della directory) nella console. Nota l'argomentazione -R- avvia una cancellazione ricorsiva, cioè interessa l'intero contenuto della cartella e se stessa. È necessario fare distinzione tra maiuscole e minuscole quando si accede perché -R- questa è un'opzione completamente diversa.

Se desideri visualizzare un elenco di tutti i file e le cartelle eliminati quando usi rm, dovrai modificare leggermente la riga. Entra "Terminale" rm -Rfv e quindi attivare il comando.

Una volta completata la cancellazione, verranno visualizzate le informazioni su tutte le directory e i singoli oggetti che in precedenza si trovavano nella posizione specificata.

trova il comando

Il nostro sito web contiene già materiale con esempi di utilizzo di find nei sistemi operativi sviluppati sul kernel Linux. Naturalmente qui vengono presentate solo le informazioni di base e più utili. Puoi conoscerlo facendo clic sul seguente collegamento e ora ti proponiamo di scoprire come funziona questo strumento quando è necessario eliminare le directory.

  1. Come è noto, Trovare serve per cercare oggetti all'interno del sistema. Grazie all'utilizzo di opzioni aggiuntive, puoi trovare directory con un nome specifico ed eliminarle immediatamente. Per fare ciò, inserisci trova nella console. -type d -name "cartella" -exec rm -rf () \;, dove cartella è il nome della directory. Assicurati di scrivere virgolette doppie quando lo fai.
  2. Una riga separata a volte mostra l'informazione che tale file o directory non esiste, ma ciò non significa che non sia stato trovato. Appena Trovare ha funzionato di nuovo dopo aver eliminato la directory dal sistema.
  3. find ~/ -empty -type d -delete consente di eliminare tutte le cartelle vuote nel sistema. Alcuni di essi sono accessibili solo al superutente, quindi prima Trovare Dovrebbe essere aggiunto sudo.
  4. Sullo schermo verranno visualizzati i dati su tutti gli oggetti trovati e il successo dell'operazione.
  5. È inoltre possibile specificare solo una directory specifica in cui lo strumento dovrà effettuare la ricerca e la pulizia. Quindi la riga apparirà, ad esempio, così: find /home/user/Folder/ -empty -type d -delete .

Ciò completa l'interazione con le utilità della console standard in Linux. Come puoi vedere, ce ne sono molti e ognuno è applicabile in determinate situazioni. Se vuoi conoscere altre squadre popolari, leggi il nostro materiale separato al link sottostante.

Buona giornata, cari lettori. Oggi vorrei parlare dell'eliminazione di una directory in PHP. Sembrerebbe che l'operazione non sia complicata, ma ci sono alcune sfumature. Diamo un'occhiata ai modi per farlo.

PHP ha una funzione per questo rmdir(). Prende come argomento il percorso della directory che desideri eliminare. Tuttavia, la directory deve essere vuota- questa è la condizione principale (tranne per il fatto che l'utente da cui viene eseguito il server web deve avere diritti di scrittura per la directory). Se i file vengono inseriti nella directory, riceveremo un errore quando chiameremo la funzione. Di conseguenza, arriviamo alla conclusione che la directory prima di utilizzare la funzione rmdir() deve essere pulito prima.

Online consigliano di scrivere una funzione che passerà come argomento il percorso della directory che dobbiamo eliminare. Nel corpo della funzione è necessario organizzare un elenco del contenuto della directory, nell'ambito del quale viene effettuato un controllo per determinare se il file è una directory. Se il file è una directory, la funzione richiama se stessa in base a questa condizione. Ciò è necessario per ripulire le directory annidate e funzionerà a tutti i livelli di annidamento. Altrimenti la funzione viene applicata al file scollega()- è progettato per eliminare un file. Al di fuori di questo controllo, nell'ultimo passaggio eliminiamo la directory.

Esempio di implementazione:

Funzione recursiveRemoveDir($dir) ( $include = glob($dir."/*"); foreach ($include come $include) ( if(is_dir($include)) ( recursiveRemoveDir($include); ) else ( unlink( $include); ) ) rmdir($dir); ) //Rimuove la directory tmp dalla directory corrente recursiveRemoveDir("tmp");
Che problemi ha questo codice?

In casi semplici, la directory con tutti gli allegati verrà eliminata. Ma supponiamo che nella nostra directory ci sia un file nascosto che inizia con un punto, ad esempio .htaccess. Funzione globo()è una sostituzione glob UNIX che non include file nascosti (DOTFILES) per impostazione predefinita. Ad esempio, se andiamo al terminale nix e usiamo bash, incontreremo lo stesso problema (stiamo parlando di file nascosti all'interno dei glob). C'è un comando in bash per risolvere questo problema: shopt -s puntoglob- consente la sostituzione globale dei file nascosti. In PHP, questo può essere risolto aggiungendo un parametro aggiuntivo GLOB_BRACE Per globo() ed espandendo il modello dal primo parametro della funzione.

$include = glob("tmp/(,.)*", GLOB_BRACE);
E qui c'è anche un problema: incontreremo un ciclo infinito, poiché l'array includerà valori. e... - che è la directory corrente e principale a livello di sistema. Ci ritroveremo con un ciclo infinito (e non elimineremo tutte le directory principali) perché. come parte dell'ordinamento predefinito, l'array generato verrà per primo.., ovvero ogni volta che accederemo alla stessa directory. Per risolvere il problema, formeremo un array da queste directory di sistema e, in un ciclo, rimuoveremo i loro indici dall'array principale. C'è anche il problema dei collegamenti simbolici. Diciamo che la directory da eliminare contiene un collegamento ad un'altra directory, il cui contenuto non ci interessa assolutamente eliminare. Per risolvere il problema, prima di creare la ricorsione, è necessario verificare che l'entità non sia un riferimento.

Di conseguenza, la funzione assume la seguente forma:

Funzione ricorsivaRemoveDir($dir) ( $includes = glob($dir."/(,.)*", GLOB_BRACE); $systemDots = preg_grep("/\.+$/", $includes); foreach ($systemDots as $indice => $punto) ( unset($includes[$indice]); ) foreach ($include come $include) ( if(is_dir($include) && !is_link($include)) ( recursiveRemoveDir($include); ) else ( unlink($include); ) ) rmdir($dir); ) //Rimuove la directory tmp dalla directory corrente recursiveRemoveDir("tmp");
Il codice funziona, ma in realtà avrebbe potuto essere reso più semplice. In PHP esiste una classe FilesystemIterator, che per impostazione predefinita ha già le impostazioni di cui abbiamo bisogno. Il percorso della directory di cui abbiamo bisogno viene passato al costruttore. Dobbiamo solo creare un oggetto.

Funzione recursiveRemoveDir($dir) ( $includes = new FilesystemIterator($dir); foreach ($include come $include) ( if(is_dir($include) && !is_link($include)) ( recursiveRemoveDir($include); ) else ( unlink($include); ) ) rmdir($dir); ) //Rimuove la directory tmp dalla directory corrente recursiveRemoveDir("tmp");
In conclusione, vorrei notare un altro modo rapido. La correttezza del suo utilizzo è molto dubbia: invia il comando per l'esecuzione a SHELL.

Sistema("rm -rf tmp");
Vorrei attirare la vostra attenzione sull'elevato consumo di memoria e sul fatto che gli amministratori spesso vietano l'uso di tali funzioni sul server per motivi di sicurezza.

Tag: php, rmdir, glob, ricorsione

Squadra rmdir ci aiuterà a eliminare una directory vuota, ovvero una directory senza file e cartelle. La sintassi del comando è molto semplice:

Rmdir NOMEDIR

Se la directory non è vuota, verrà visualizzato il seguente messaggio di errore.

$ rmdir test rmdir: impossibile rimuovere `test": Directory non vuota

2. Come eliminare le directory annidate in Linux?

Utilizzando l'opzione -Pè possibile eliminare una directory con una sottodirectory annidata al suo interno.

$ rmdir -p dir1/dir2/dir3

Squadra rmdir -p dir1/dir2/dir3 questo è l'equivalente del comando

$ rmdir dir1/dir2/dir3 dir1/dir2 dir1

3. Eliminazione della directory dei contenuti

Se è necessario eliminare una directory con contenuti, è possibile utilizzare il comando rm:

$ rm -rf NOMEDIR

Questo comando eliminerà una directory, inclusi tutti i file e le sottodirectory in essa contenute. Usa questo comando con cautela, poiché recuperare i file cancellati non sarà una procedura facile.

4. Rimozione interattiva

Per evitare di eliminare accidentalmente i file necessari, consiglio di considerare l'utilizzo dell'opzione -i per eliminare in modo interattivo file e cartelle (soprattutto con diritti di root).

Cancellazione di directory ricorsiva e interattiva.

# rm -ir NOMEDIR

Eliminazione interattiva dei file.

# rm -i NOMEFILE

5. Alias ​​utili per i comandi rm e rmdir

È possibile utilizzare l'eliminazione interattiva come comportamento predefinito del comando rm.

Alias ​​​​per l'esecuzione costante di rm in modo interattivo

# alias rm="rm -i"

Quando si utilizza il comando rm il comando verrà effettivamente eseguito rm -i. Ma devi prestare attenzione a una sfumatura. Non utilizzare l'opzione -i in futuro poiché non otterrai l'effetto desiderato. Diamo un'occhiata ad un esempio:

Nel comando seguente, l'uso di -i non ti darà l'effetto previsto.

$ rm -irf NOMEDIR

In questo caso, quando si utilizza un alias, il comando precedente deve essere eseguito come segue:

$ rm -rf NOMEDIR

Tutti i comandi seguenti sono equivalenti ed eseguono la stessa funzionalità.

  • rm-fr
  • rm -rf
  • rm -r -f
  • rm -f -r

Se hai bisogno di una valutazione esperta di un edificio, ti consiglio di ordinare un'ispezione degli edifici finiti da parte di specialisti del centro di ricerca e produzione Technoplast