Estratto
WebDAV (Web-based
Distributed Authoring and Versioning) è
un'estensione del protocollo HTTP che vi 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 l'altro serve ad uscire dall'applicazione. Dopo aver configurato uno o più punti di mount, questi compariranno come pulsanti all'inizio della lista. Cliccando su uno di essi comparirà il menu relativo (si veda Figura 3.15, “Il menu WebDAV”).
Per prima cosa cliccate su , vi verrà richiesta l'URL del server web (si veda Figura 3.14, “Indicazione dell'URL del server WebDAV”).
Inserite l'indirizzo del server web, completo di http:// o https://. Poi 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 server richiede l'autenticazione, non dimenticate di riempire 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, e i cambiamenti saranno immediatamente visibili sul server web.