[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: What to do with all the doc files in /usr/share/doc?



Kjetil Kjernsmo wrote:
 > I've been thinking about unzipping them all, but I figured it wasn't
> worth the disk space.
> 
> But if you think that's OK, you could probably do it with 
> find /usr/share/doc -name '*.gz' -exec gunzip {} \;
> or something like that...
> 
I just added the following line in my ~/.bash_profile

eval "$(lessfile)"

which enables one to view it using the utility "less".

/KS



Reply to: