Re: https://wiki.debian.org/DotFiles

On Sat 19 Apr 2025 at 11:40:52 (-0400), Greg Wooledge wrote: > On Sat, Apr 19, 2025 at 08:12:02 -0700, pe...@easthope.ca wrote: > > In https://wiki.debian.org/DotFiles the sixth paragraph states, "You > > should therefore always have command source ~/.bashrc at the end of > > your .bash_profile i

qemu

qemu is taking 1.8GB of ram even with -m 1024M xu...@sdf.org SDF Public Access UNIX System - http://sdf.org

Re: https://wiki.debian.org/DotFiles

From: George at Clug Date: Sun, 20 Apr 2025 23:55:22 +1000 > Please excuse my ignorance, but how did you manage to get the folder > "/home/root/" when running "ls ~/.bash_profile" as root? > > To my knowledge root's home directory should be /root, not > /home/root. Ref. https://lists.d

Re: https://wiki.debian.org/DotFiles

From: Greg Wooledge Date: Sat, 19 Apr 2025 11:40:52 -0400 > Just FYI, that page is essentially an older version of > . Thanks. A much better document. Jonathan added a link to it. https://wiki.debian.org/DotFiles > If you want to attempt to merge

Re: [SOLVED] Re: How to change ownership of subdirectories under /media

Hi, On Sun, May 04, 2025 at 08:03:39AM -0400, Haines Brown wrote: > Thank you , David. My problem was a simple blunder, but your respose was > usefully informative. It would be helpful to say what the blunder was so that other people who find this thread by search later on may not be left wonde

[SOLVED] Re: How to change ownership of subdirectories under /media

Thank you , David. My problem was a simple blunder, but your respose was usefully informative. On Sat, May 03, 2025 at 02:12:23PM +, David wrote: > On Sat, 3 May 2025 at 11:09, Haines Brown wrote: > Now to assist you, here's an actual example cut and pasted from the machine > I'm using ri