User.profile
Last Edited by: Teitelman, May 23, 1983 2:46 pm
Last Edited by: Paul Rovner, April 22, 1983 1:53 pm
Last Edited by: Russ Atkinson, May 26, 1983 1:27 pm
This file contains the standard, default setting for some of the more commonly used userprofile options. For documentation of all available options, see UserProfileDoc.tioga.
Some Tioga options
UserCategory: Intermediate
ScrollTopOffset: 3
ScrollBottomOffset: 5
SelectDelimitingSpaces: FALSE
DefaultFontFamily: Tioga
DefaultFontSize: 10
DefaultStyle: Cedar
EditTypeScripts: TRUE
Some printing options
Hardcopy.PressPrinter: Clover
Hardcopy.Font: Gacha6
Some system options
AutoCheckpoint: FALSE
ClientCheckpoint: TRUE
WorldSwapDebug: FALSE
Some initialization options
PreRun: Clock.bcd FileTool.bcd EditTool.bcd BugBane.bcd UserExecutive.bcd DebugTool.bcd Watch.bcd NewStuffImpl.bcd Talker.bcd
The PreRun option is used to load useful programs that are not included in the normal boot file. This makes it easier to change such programs between releases. Note: you can also accomplish the same thing (except for startup order) by including BugBane.bcd and UserExecutive.bcd in your PreRun command, and using CommandsFrom to run the remaining bcds you normally load during startup., i.e.
PreRun: BugBane.bcd UserExecutive.bcd
CommandsFrom: "Run FileTool EditTool DebugTool Clock Watch NewStuffImpl Talker"
The PreLoad option contains a sequence of files for which viewers are automatically opened when you boot. To keep the default initial setup simple, we do not have any files preloaded. As an example of usage, to make initialization open viewers on the Tioga documentation and the Cedar glossary, use:
PreLoad: TiogaDoc.tioga, Glossary.tioga
Some UserExecutive options
ShowStatistics: TRUE
Compiler.SeparateLogs: TRUE
CreateSessionLog: TRUE
WhenLogFileExists: Rename