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:
La pagina man relativa a dtresourcesfile(4)