Dietmar Plaßmann wrote:
Das ist nicht unüblich, unter Linux werden die Benutzereinstellungen eben im
Homeverzeichnis gesichert. Sei es in versteckten Dateien oder in versteckten
Ordnern, wenn man es auf mehrere Dateien verteilt.
Also
if TargetLinux then
f=PreferencesFolder.child(".geko.inf")
else
f=PreferencesFolder.child("geko.inf")
end
reicht?
Aber auch Dateien mit den Benutzereinstellungen? Ich habe die bisher
immer sichtbar gelassen, damit der User sie ggf. löschen kann.
Dann kommt er aber auch auf die Idee sie mit einem anderen Programm editieren
zu wollen :-)
Ist eine Textdatei, die darf ruhig mit einem Editor o.ä. gearbeitet
werden. Steht ohnehin nicht viel drin.
MfG, Metti.
|