Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!zaphod.mps.ohio-state.edu!mips!sgi!shinobu!odin!flobb4!micah From: micah@flobb4.csd.sgi.com (Micah Altman) Newsgroups: comp.sys.sgi Subject: Re: /debug dbg filesystem Message-ID: <1991Jan4.185158.16712@odin.corp.sgi.com> Date: 4 Jan 91 18:51:58 GMT References: Sender: news@odin.corp.sgi.com (Net News) Distribution: comp Organization: Silicon Graphics, Inc. Mountain View, CA Lines: 29 >I am interested in adding to /debug space to the /dev/usr partition. >I can umount the /debug partition but I can't figure out how to make >/dev/usr bigger. The /debug partition is not an actual file system, it "provides an interface to running processes that may be used by debuggers such as dbx" and " These files actually consume no disk space, and are only convenient handles by which a debugger can attach to a process. " so you don't need to move /debug to /dev/usr. >I looked through all the manuals we have and I can't >find it anywhere. Check the man page on "debug" and the manual entry on "dbg" in the Programmer's Reference Manual ( Section 4 ). >I called SGI, and they wanted a purchase Order before they talked to >me. The hot line can only answer calls for people with a service contract, I believe. However, sgi employees often post to this newsgroup. >Thanks Your welcome. - Micah Altman "Computational Juggler" Disclaimer: Everything I say is a lie.