Modifica file

Descrizione generale

Possono essere create più cartelle i cui file sono modificabili dagli utenti. In questo caso si ha la cartella glossary. Ogni cartella ha almeno un utente con l'accesso di editor il quale può gestire la struttura della cartella (creare o eliminare sottocartelle e file) e stabilire per ogni file da chi può essere modificato (soltanto dagli utenti aventi l'accesso di editor o anche dagli utenti con l'accesso di co-editor).

Versioni precedenti

Quando un utente modifica un file, viene salvata anche la versione precedente con la data e l'autore dell' ultima modifica di tale versione.
L'editor può ripristinare una vecchia versione.

Modifica esclusiva

La modifica su ogni file è esclusiva, vale a dire che quando un utente seleziona un file lo blocca e nessun altro può modificarlo finchè non ha terminato.
Se un utente non chiude correttamente l'operazione con i bottoni Salva o Chiudi finestra che sbloccano il file, si considera un tempo massimo (un' ora) per il quale un file può rimanere bloccato da uno stesso utente.
Se un nuovo utente vuole modificare il file bloccato, viene controllato da quanto tempo è bloccato e se è stato superato il tempo massimo il file viene automaticamente bloccato dal nuovo utente che può quindi modificarlo.

Gestione immagini

In un file possono essere inserite delle immagini tramite il tag <img src=...>.
La cartella contenente i file modificabili ha una sottocartella pics per tutte le immagini. Dopo aver inserito il tag img con il nome dell'immagine bisogna indicare che quel dato file contiene l'immagine. L'editor può infatti eliminare una immagine se questa non risulta contenuta in nessun file.
L'utente può inviare il file di una nuova immagine che verrà collocato nella cartella pics.
Sopra al contenuto del file da modificare è riportata la posizione della cartella delle immagini.

Stili disponibili

La cartella ha un file (default.css) per la definizione degli stili. I tag ridefiniti e le nuove classi create possono essere visualizzati tramite il link stili css che appare dopo aver selezionato un file da modificare.
Sopra al contenuto del file da modificare è riportata la posizione in cui si trova il file ".css".

Come raggiungere il servizio e selezionare un file da modificare

è un servizio disponibile soltanto per gli utenti registrati che hanno ricevuto l'accesso di editor o co-editor.
Si accede a tale servizio, dopo aver effettuato il login, dal menù dei servizi Modifica file.
Dall'elenco delle cartelle che possono essere modificate, scegliere la cartella in cui si trova il file che si vuole modificare. Nella tabella corrispondente per ogni file contenuto nella cartella vengono riportati il path, il nome, la data, l'ora e l'utente che ha effettuato l'ultima modifica. Si può quindi aprire un file cliccando sul nome. Se non si ha l'accesso per modificare un file, il nome corrispondente non è un link.
Se il file non è bloccato da un altro utente viene visualizzato il contenuto in una textarea e sulla destra compare l'elenco di tutte le immagini disponibili. Sulle immagini incluse nel file compare il segno di spunta.

Operazioni possibili

Modifica di un file

Dopo aver selezionato il file da modificare si possono riportare le modifiche nella textarea e confermare con il bottone Salva. Prima di salvare è possibile vedere l'anteprima in una nuova altra finestra cliccando su Anteprima.
Se non si intende apportare modifiche per tornare all'elenco dei file utilizzare il bottone Chiudi finestra.
Dal link stili css si apre una nuova finestra con l'elenco di tutti gli elementi definiti nel file ".css".

Inserimento di una immagine

Per includere una immagine ovviamente è necessario riportare nel codice il tag <img src="./pics/nomefile.jpg">. Se il file si trova in una sottocartella, per raggiungere le immagini bisogna risalire: src="./../pics/nomefile.jpg".
Per tenere traccia delle immagini incluse nei file è richiesto di indicare l'inclusione dell'immagine mettendo il segno di spunta nell'elenco delle immagini riportato sulla destra. Se invece non si vuole più includere una immagine nel file, oltre a togliere il tag, bisogna anche togliere il segno di spunta sull'immagine corrispondente.
Per confermare le modifiche di spunta sull'elenco delle immagini cliccare sullo stesso bottone Salva utilizzato anche per confermare le modifiche del contenuto del file.

Invio di una nuova immagine

è possibile inviare una nuova immagine dal link Inserisci nuova immagine riportato sopra l'elenco delle immagini disponibili. Verrà così avviata la procedura che consente di inviare la nuova immagine che verrà copiata nella cartella pics. Dopo l'invio viene automaticamente settato il segno di spunta per indicare che la nuova immagine è inclusa nel file.
Per tornare all'elenco dei file cliccare su Salva se si è compiuta una modifica (al contenuto o all'elenco delle immagini) o su Chiudi finestra.

Sostituzione di una immagine

Cliccando sul nome di una immagine viene aperta una nuova finestra con l'elenco dei file in cui l'immagine è inserita, l'immagine stessa e i bottoni per la sostituzione o l'eliminazione.
Cliccando su Sostituisci immagine viene avviata la procedura per l'invio della nuova immagine che deve avere lo stesso nome di quella che si intende sostituire. Il file dell'immagine verrà definitivamente eliminato e sostituito dal nuovo.

Eliminazione di una immagine

Cliccando sul nome di una immagine viene aperta una nuova finestra con l'elenco dei file in cui l'immagine è inserita, l'immagine stessa e i bottoni per la sostituzione o l'eliminazione.
Il bottone Elimina immagine compare soltanto se l'immagine non risulta inserita in nessun file. Dopo una richiesta di conferma, il file dell'immagine verrà definitivamente eliminato e non comparirà più nell'elenco delle immagini disponibili.