2.3.4 Customizing Sessions
You can change the place where DDD saves its sessions by setting the
environment variable `DDD_SESSIONS' to the name of a directory.
Default is `~/.ddd/sessions/'.
Where applicable, DDD supports a `gcore' command to obtain core
files of the running program. You can enter its path via `Edit =>
Preferences => Helpers => Get Core File'. Leave the value empty if you
have no `gcore' or similar command.
This setting is tied to the following resource (Note: Customizing):
-- Resource: getCoreCommand (class GetCoreCommand)
A command to get a core dump of a running process (typically,
`gcore') `@FILE@' is replaced by the base name of the file to
create; `@PID@' is replaced by the process id. The output must be
written to `@FILE@.@PID@'.
Leave the value empty if you have no `gcore' or similar command.
automatically generated by info2www version 184.108.40.206