Web lists-archives.com

Re: Distinguish instances of GUI file manager by color




On 09/26/2018 07:42 PM, Dominic Knight wrote:
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.

It didn't :{
Thanks for trying.
I need a good introductory read on xterm. Too much info in man page. Too little in "tutorials".