Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > linux.debian.user > #200665

Re: Distinguish instances of GUI file manager by color

Show all headers | View raw

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.

Back to linux.debian.user | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Distinguish instances of GUI file manager by color Richard Owlett <rowlett@cloud85.net> - 2018-09-26 12:00 +0200
  Re: Distinguish instances of GUI file manager by color Dan Purgert <dan@djph.net> - 2018-09-26 12:40 +0200
    Re: Distinguish instances of GUI file manager by color Richard Owlett <rowlett@cloud85.net> - 2018-09-26 13:10 +0200
      Re: Distinguish instances of GUI file manager by color Dan Purgert <dan@djph.net> - 2018-09-26 13:40 +0200
        Re: Distinguish instances of GUI file manager by color Richard Owlett <rowlett@cloud85.net> - 2018-09-26 13:50 +0200
          Re: Distinguish instances of GUI file manager by color Dan Purgert <dan@djph.net> - 2018-09-26 14:50 +0200
          Re: Distinguish instances of GUI file manager by color Felix Miata <mrmazda@earthlink.net> - 2018-09-26 15:10 +0200
          Re: Distinguish instances of GUI file manager by color Dominic Knight <dominicknight@gmx.com> - 2018-09-27 02:50 +0200
            Re: Distinguish instances of GUI file manager by color Richard Owlett <rowlett@cloud85.net> - 2018-09-27 04:50 +0200
          Re: Distinguish instances of GUI file manager by color Felix Miata <mrmazda@earthlink.net> - 2018-09-27 05:20 +0200
  Re: Distinguish instances of GUI file manager by color "hdv@gmail" <hdv.jadev@gmail.com> - 2018-09-26 13:50 +0200
  Re: Distinguish instances of GUI file manager by color mick crane <mick.crane@gmail.com> - 2018-09-26 14:00 +0200
    Re: Distinguish instances of GUI file manager by color mick crane <mick.crane@gmail.com> - 2018-09-26 14:40 +0200
  Re: Distinguish instances of GUI file manager by color didier gaumet <didier.gaumet@gmail.com> - 2018-09-27 09:00 +0200
  UPDATE - was [Re: Distinguish instances of GUI file manager by color] Richard Owlett <rowlett@cloud85.net> - 2018-09-27 12:00 +0200

csiph-web