Estratto
WebDAV (Web-based
Distributed Authoring and Versioning) è un'estensione del
protocollo HTTP che permette di creare, spostare, copiare e
cancellare risorse su un server web remoto. In pratica, montando una
risorsa WebDAV remota sulla vostra macchina locale gli
utenti potranno modificare i file di un server web remoto come se essi
appartenessero al filesystem locale.
![]() | Suggerimento |
---|---|
Visitate il sito WebDAV Resources per avere più informazioni su questo protocollo. |
La prima volta che eseguirete questo strumento saranno disponibili soltanto due pulsanti: permette di configurare un nuovo punto di mount, mentre chiude l'applicazione. I punti di mount, dopo essere stati configurati, compariranno come nuovi pulsanti nella parte superiore della finestra. Cliccando su uno di essi apparirà il menu relativo (si veda Figura 3.14, “Il menu WebDAV”).
Dopo aver premuto il pulsante dovrete inserire l'URL esatta del server web, completa di http:// o https://. Quindi cliccate su .
Adesso dovete stabilire da dove saranno accessibili i file presenti sul server web. Selezionate l'opzione Punto di mount e cliccate su . Qui potrete scegliere una directory locale dall'elenco proposto, oppure digitare voi stessi un percorso. Se il punto di mount selezionato non esiste, il programma provvederà a crearlo.
Se il server richiede l'autenticazione, non dimenticate di compilare i campi username e password nella pagina delle Opzioni. Una volta terminato, non dovrete far altro che montare la risorsa remota selezionando Esegui mount e cliccando su .
A questo punto potrete esaminare e modificare i file accedendovi dal punto di mount configurato in precedenza, ed eventuali cambiamenti apportati avranno effetto immediato sui file del server web.
Per rendere permanenti le vostre modifiche e mantenerle anche dopo la chiusura della sessione, non dimenticate di salvarle nel file /etc/fstab al momento della chiusura dell'assistente.