Web lists-archives.com

Re: Distinguish instances of GUI file manager by color




On Wed, 2018-09-26 at 06:47 -0500, Richard Owlett wrote:
> On 09/26/2018 06:24 AM, Dan Purgert wrote:
> > Richard Owlett wrote:
> > > [...]
> > > Also your phraseology joggled my thought process. Perhaps "file
> > > manager"
> > > hints at much more power than I  need. I only wish to _move_
> > > files.
> > > Which got me thinking that Tcl/Tk may be appropriate. I'll
> > > experiment
> > > with mc first.
> > 
> > Or perhaps just bash?  Although, your situation may have too many
> > clauses to really decide how/where something goes easily in a
> > script.
> > 
> 
> My essential need for a GUI is to select with a mouse click.
> I've just downloaded it and browsed the man page.
> I think mc will work.
> 
> On my laptop the default font size is unsuitably small.
> A quick web search revealed that is not a mc parameter.
> It is a function of the terminal emulator used. I have a MATE
> desktop. 
> How do I determine what terminal emulator is in use?
> 
Years ago I used to put this in an ~/.Xresources file that would change
the font sizes for _all_ the terminals.

Xft.dpi: 96
Xft.antialias: true
Xft.rgba: rgb
Xft.hinting: true
Xft.hintstyle: hintslight

Might still do the job for you.

Dom.