(ddd.info)Changing Resources

---

Next: Saving Options Prev: Resources Up: How Customizing Works

---

Enter node , (file) or (file)node

3.6.1.2 Changing Resources
..........................

You can change DDD resources by three methods:

   * Use DDD to change the options, notably `Edit => Preferences'.
     This works for the most important DDD resources.  Be sure to save
     the options (Note: Saving Options) such that they apply to
     future DDD sessions, too.

   * You can also invoke DDD with an appropriate command-line option.
     This changes the related DDD resource for this particular DDD
     invocation.  However, if you save the options (Note: Saving
     Options), the changed resource will also apply to future
     invocations.

   * Finally, you can set the appropriate resource in a file named
     `.ddd/init' in your home directory.  Note: Resource Index, for a
     list of DDD resources to be set.