Caricamento delle risorse della sessione

La Gestione delle sessioni utilizza la proprietà RESOURCE_MANAGER del server X per rendere le risorse del desktop disponibili a tutte le applicazioni. La Gestione delle sessioni carica RESOURCE_MANAGER nel corso delle seguenti operazioni:

• Durante il caricamento delle risorse predefinite del sistema

• Durante l'unione delle risorse di sistema specificate dall'amministratore

• Durante l'unione delle risorse specificate dall'utente

Le risorse predefinite del desktop si trovano in /usr/dt/config/lingua/sys.resources e vengono rese disponibili per le sessioni dei singoli utenti attraverso la proprietà RESOURCE_MANAGER. Questo file non dovrebbe essere modificato, in quanto viene sovrascritto ad ogni nuova installazione del desktop.

Per aggiungere altre risorse a quelle predefinite del sistema si potrà creare un nuovo file /etc/dt/config/lingua/sys.resources in cui modificare le risorse predefinite o specificare nuove risorse per tutti gli utenti del desktop. Questo file verrà unito alle risorse predefinite del desktop all'avvio delle sessioni, perciò potrà contenere solo risorse nuove o aggiornate. Le risorse specificate in questo file saranno rese disponibili a tutti gli utenti attraverso la proprietà RESOURCE_MANAGER, e prevarranno su quelle specificate nel file delle risorse predefinite del desktop.

Ogni utente potrà aggiungere altre risorse a quelle di sistema o predefinite del desktop modificando il proprio file DirectoryIniziale/.Xdefaults Le risorse specificate in questo file saranno rese disponibili per le sessioni di quell'utente attraverso la proprietà RESOURCE_MANAGER, e prevarranno su quelle specificate nel file di risorse predefinito del desktop o in quello predisposto dall'amministratore di sistema.

L'utility X Toolkit Intrinsics può caricare le risorse per un'applicazione da RESOURCE_MANAGER o da DirectoryIniziale/.Xdefaults, ma non da entrambi. In genere, questo significa che il file DirectoryIniziale/.Xdefaults dell'utente viene ignorato. Tuttavia, la Gestione delle sessioni permette di utilizzarlo in quanto lo unisce a RESOURCE_MANAGER all'avvio della sessione. Se un utente modifica il file DirectoryIniziale/.Xdefaults, queste modifiche avranno effetto sulle applicazioni solo eseguendo l'azione “Ricarica risorse”. Questa azione ordinerà infatti alla Gestione delle sessioni di ricaricare RESOURCE_MANAGER con le risorse predefinite, quelle di sistema e quelle specificate dall'utente. In questo modo le modifiche apportate ai file di risorse personali e di sistema saranno disponibili per le applicazioni.

Per maggiori informazioni, vedere:

• Impostazione delle risorse delle applicazioni

• La pagina man relativa a dtresourcesfile(4)