Re: what serve the file in the /dev directory

To: debian-user@lists.debian.org
Subject: Re: what serve the file in the /dev directory
From: Alain Toussaint <alaint@boisfrancs.qc.ca>
Date: Sun, 29 Mar 1998 20:15:25 -0500 (EST)
Message-id: <[🔎] Pine.LNX.3.96.980329200730.142B-100000@main>
In-reply-to: <[🔎] Pine.LNX.3.96.980329143437.7020H-100000@calvin.shorelink.com>

i did some work removing unneeded files/devices in the /dev directory but
i still get an error ( cp: /mnt/bin/bash: No space left on device ),what
command i need to do to know the space left on my disk and does there is
some utility to compress the library so they still remain executable (i
allready taken care off the potential performance hit because the root
disk is copied to a ramdrive and root is mounted there).

Alain



--
To UNSUBSCRIBE, email to debian-user-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org

Reply to:

Follow-Ups:
- Re: what serve the file in the /dev directory
  - From: Ossama Othman <othman@astrosun.tn.cornell.edu>

References:
- Re: what serve the file in the /dev directory
  - From: George Bonser <grep@oriole.sbay.org>

Prev by Date: Re: what serve the file in the /dev directory
Next by Date: lilo.output (fwd)
Previous by thread: Re: what serve the file in the /dev directory
Next by thread: Re: what serve the file in the /dev directory
Index(es):
- Date
- Thread