Re: is xdvi broken?

2019-04-21 Thread Bill Wood
On Mon, 2019-04-22 at 05:17 +, rlhar...@oplink.net wrote: . . . > That saves three steps over my current procedure: > > = In Emacs, save the document > = Switch to a virtual terminal > = Execute "latex mydocument.tex" > = Execute "latex mydocument.tex" > = Execute "

Re: is xdvi broken?

2019-04-21 Thread rlharris
On 2019.04.22 01:43, David Wright wrote: ... most people will be receiving a good proportion of documents as PDF files, and so will have their printing system (like CUPS) set up to handle them ... rather than the previously conventional .tex→DVI→PS→PDF workflow. On the average, I print only on

Re: firefox > Preferences > When Firefox starts.

2019-04-21 Thread peter
From: David Wright Date: Sun, 21 Apr 2019 16:13:11 -0500 > I run two instances of FF, one as me (for banking etc) and one as > another user (for browsing). Interesting. Thanks. For banking & etc. you have a dedicated user id and login? Drifting off the subject, but the banking I use i

Re: is xdvi broken?

2019-04-21 Thread David Wright
On Sun 21 Apr 2019 at 02:31:51 (-0500), rlhar...@oplink.net wrote: > On 2019.04.20 19:42, David Wright wrote: > > How do you "switch" between them? > > Alt-TAB, multiple times if necessary. I switch back and forth between > four or five windows: Emacs, dictionary, xdvi, terminal, and sometimes >

Re: how to display html files on google drives

2019-04-21 Thread Cindy Sue Causey
On 4/21/19, Pierre Frenkiel wrote: > >In a previous post, I said: >> what I want to do is to give access >> to other people to the html file, in order that they can display >> the images together with the comments contained in the html. > > more precisely, I want to give access to the imag

Re: firefox > Preferences > When Firefox starts.

2019-04-21 Thread peter
From: Curt Date: Sun, 21 Apr 2019 16:08:49 - (UTC) > I've read that setting "Clear history when Firefox closes" is one way to > obviate the problem (you might not want to lose your history, though). Losing the history wouldn't be so bad but I don't see how firefox would have a chance

Re: is xdvi broken?

2019-04-21 Thread David Wright
On Sun 21 Apr 2019 at 02:54:05 (-0500), rlhar...@oplink.net wrote: > On 2019.04.21 02:31, rlhar...@oplink.net wrote: > > On 2019.04.20 19:42, David Wright wrote: > > > So you expect that visitors can print from PDFs but you print locally > > > with PS. Any reason? > > Kindly forgive my deficiency

Re: What's the device name of my microSD card?

2019-04-21 Thread David Wright
On Sun 21 Apr 2019 at 21:09:24 (+), Erik Josefsson wrote: > On 4/21/19 8:05 PM, David Wright wrote: > > On Sun 21 Apr 2019 at 18:30:28 (+), Erik Josefsson wrote: > > > On 4/21/19 6:14 PM, Patrick Wiseman wrote: > > > > From the command line, 'df' returns free disk space and lists all > > >

bug-report help : whole user input events freeze: doubts about the right package to submit against

2019-04-21 Thread Ludovic Pouzenc
Hi, I'm a french sysadmin in a school with ~250 computers (labs) running Debian 9 + Wayland. I am testing Debian 10 and I hit an annoying problem that persists (present in D9+ Wayland, and D10 default config), I can't find an already open bug for it, I have doubts about the right package to

Re: how to display html files on google drives

2019-04-21 Thread Pierre Frenkiel
On Sun, 21 Apr 2019, didier gaumet wrote: What I gather is that Google did not announce end of html support (It's the heart of its ecosystem) but end of life of its Google Drive PC tools, in order to access Google Drive via... html (Chrome as the central tool) :-) I saw: "Deprecating web ho

Re: firefox > Preferences > When Firefox starts.

2019-04-21 Thread David Wright
On Sun 21 Apr 2019 at 07:11:36 (-0700), pe...@easthope.ca wrote: > From: Cindy Sue Causey > Date: Fri, 19 Apr 2019 12:41:45 -0400 > > * Is that the only live tab for each new session, ... > > Sorry to say, I don't understand the question. I don't understand "live tab". > Firefox should j

Re: What's the device name of my microSD card?

2019-04-21 Thread Erik Josefsson
On 4/21/19 8:05 PM, David Wright wrote: On Sun 21 Apr 2019 at 18:30:28 (+), Erik Josefsson wrote: On 4/21/19 6:14 PM, Patrick Wiseman wrote: From the command line, 'df' returns free disk space and lists all mounted devices by device name. (One of probably many ways to do it!) On 4/21/19 6

Re: how to display html files on google drives

2019-04-21 Thread didier gaumet
Le 21/04/2019 à 21:22, Pierre Frenkiel a écrit : >    It seems I was not clear enough: what I want to do is to give access >    to other people to the html file, A webpage containing images is not a simple html file (look at the previous link) If you cannot sea pictures in your webpages stored on

Re: What's the device name of my microSD card?

2019-04-21 Thread David Wright
On Sun 21 Apr 2019 at 18:30:28 (+), Erik Josefsson wrote: > On 4/21/19 6:14 PM, Patrick Wiseman wrote: > > From the command line, 'df' returns free disk space and lists all > > mounted devices by device name. (One of probably many ways to do > > it!) > > On 4/21/19 6:17 PM, Paul Sutton wrote:

Re: how to display html files on google drives

2019-04-21 Thread Pierre Frenkiel
On Sun, 21 Apr 2019, didier gaumet wrote: Le 21/04/2019 à 10:10, Pierre Frenkiel a écrit :    of course, I'm using a web browswer, but with either chromium or firefox,    I have the same problem when opening my html file: the images are not    displayed. 1) What I mean is (from what I under

Re: What's the device name of my microSD card?

2019-04-21 Thread Jonas Smedegaard
Quoting Paul Sutton (2019-04-21 20:17:16) > > On 21/04/2019 19:02, Erik Josefsson wrote: > > I run into my ignorance already at instruction 2: "Locate device > > name of your microSD card". > > > > It turns out when I use completion with ls /dev/disk/by-id/ that my > > new USB microSD card reade

Re: What's the device name of my microSD card?

2019-04-21 Thread Reco
Hi. On Sun, Apr 21, 2019 at 09:14:02PM +0200, Jonas Smedegaard wrote: > ...but the ideal for me would be a command considered safe to call as > root which did _not_ involve piping tricks, to limit the risk of > confusion (I still remember myself in my early days of linux typing ">" > in

Re: What's the device name of my microSD card?

2019-04-21 Thread Jonas Smedegaard
Quoting Reco (2019-04-21 20:29:09) > Hi. > > On Sun, Apr 21, 2019 at 06:02:33PM +, Erik Josefsson wrote: > > I have just assembled a [Teres machine] to learn how to set it up from the > > instructions on http://box.redpill.dk/ mentioned before on this list. > > > > I run into my igno

Re: What's the device name of my microSD card?

2019-04-21 Thread Patrick Wiseman
On Sun, Apr 21, 2019 at 2:38 PM Patrick Wiseman wrote: > On Sun, Apr 21, 2019 at 2:30 PM Erik Josefsson < > erik.hjalmar.josefs...@gmail.com> wrote: > >> On 4/21/19 6:14 PM, Patrick Wiseman wrote: >> >> From the command line, 'df' returns free disk space and lists all mounted >> devices by device

Re: how to display html files on google drive

2019-04-21 Thread didier gaumet
Le 21/04/2019 à 10:10, Pierre Frenkiel a écrit : >    of course, I'm using a web browswer, but with either chromium or > firefox, >    I have the same problem when opening my html file: the images are not >    displayed. 1) What I mean is (from what I understand...): - Google Drive is like GMai

Re: What's the device name of my microSD card?

2019-04-21 Thread Patrick Wiseman
On Sun, Apr 21, 2019 at 2:30 PM Erik Josefsson < erik.hjalmar.josefs...@gmail.com> wrote: > On 4/21/19 6:14 PM, Patrick Wiseman wrote: > > From the command line, 'df' returns free disk space and lists all mounted > devices by device name. (One of probably many ways to do it!) > > > On 4/21/19 6:17

Re: What's the device name of my microSD card?

2019-04-21 Thread Erik Josefsson
On 4/21/19 6:14 PM, Patrick Wiseman wrote: From the command line, 'df' returns free disk space and lists all mounted devices by device name. (One of probably many ways to do it!) On 4/21/19 6:17 PM, Paul Sutton wrote: if you run lsblk it will list devices connected to the system Here's the o

Re: What's the device name of my microSD card?

2019-04-21 Thread Reco
Hi. On Sun, Apr 21, 2019 at 06:02:33PM +, Erik Josefsson wrote: > I have just assembled a [Teres machine] to learn how to set it up from the > instructions on http://box.redpill.dk/ mentioned before on this list. > > I run into my ignorance already at instruction 2: "Locate device na

Re: What's the device name of my microSD card?

2019-04-21 Thread Paul Sutton
On 21/04/2019 19:02, Erik Josefsson wrote: > > I have just assembled a [Teres machine] to learn how to set it up from > the instructions on http://box.redpill.dk/ mentioned before on this list. > > I run into my ignorance already at instruction 2: "Locate device name > of your microSD card". > >

Fwd: What's the device name of my microSD card?

2019-04-21 Thread Patrick Wiseman
Sorry - relied to OP not to list. -- Forwarded message - From: Patrick Wiseman Date: Sun, Apr 21, 2019 at 2:13 PM Subject: Re: What's the device name of my microSD card? To: Erik Josefsson On Sun, Apr 21, 2019 at 2:03 PM Erik Josefsson < erik.hjalmar.josefs...@gmail.com> wrote:

What's the device name of my microSD card?

2019-04-21 Thread Erik Josefsson
I have just assembled a [Teres machine] to learn how to set it up from the instructions on http://box.redpill.dk/ mentioned before on this list. I run into my ignorance already at instruction 2: "Locate device name of your microSD card". It turns out when I use completion with ls /dev/disk/by

Re: testing: weird resume (black or frozen screen)

2019-04-21 Thread Andrea Borgia
Il 21/04/19 13:44, hdv@gmail ha scritto: I hope you can get rid of your problem soon as well! Glad I could help, let's see if I get lucky. Regards, Andrea.

Re: firefox > Preferences > When Firefox starts.

2019-04-21 Thread Curt
On 2019-04-21, pe...@easthope.ca wrote: > From: Cindy Sue Causey > Date: Fri, 19 Apr 2019 12:41:45 -0400 >> * Is that the only live tab for each new session, ... > > Sorry to say, I don't understand the question. I don't understand "live tab". > Firefox should just open the static local

Re: firefox > Preferences > When Firefox starts.

2019-04-21 Thread peter
From: Cindy Sue Causey Date: Fri, 19 Apr 2019 12:41:45 -0400 > * Is that the only live tab for each new session, ... Sorry to say, I don't understand the question. I don't understand "live tab". Firefox should just open the static local page. Shouldn't take more than a second or two ev

Re: A few questions (buster and presentation)

2019-04-21 Thread Jonas Smedegaard
Quoting Paul Sutton (2019-04-16 20:59:54) > On 16/04/2019 19:19, Jonas Smedegaard wrote: > > GTK > > * listaller > > * synaptic (but not in Buster) Synaptic seems targeted Buster again, since yesterday: https://tracker.debian.org/pkg/synaptic - Jonas -- * Jonas Smedegaard - idealist & I

Re: testing: weird resume (black or frozen screen)

2019-04-21 Thread hdv@gmail
On 21/04/2019 10.42, Andrea Borgia wrote: > Il 20/04/19 18:16, hdv@gmail ha scritto: > > >> I see the same type of problems. > > Hmm, I'm not so sure about it: in my case the sytem works except (parts of) X > and it is most likely not kernel-related. In your case it doesn't even resume > properl

Re: testing: weird resume (black or frozen screen)

2019-04-21 Thread Andrea Borgia
Il 20/04/19 18:16, hdv@gmail ha scritto: I see the same type of problems. Hmm, I'm not so sure about it: in my case the sytem works except (parts of) X and it is most likely not kernel-related. In your case it doesn't even resume properly, it seems. You might want to have a look at bugzil

Re: how to display html files on google drive

2019-04-21 Thread Pierre Frenkiel
On Sun, 21 Apr 2019, didier gaumet wrote: Le 20/04/2019 à 23:44, Pierre Frenkiel a écrit : it is not MY drive, it is a google drive, at address https://drive.google.com/drive/my-drive/pf-index.html I don't know what file manager can access that. gvfs or thunar give: "operation not suppor

Re: is xdvi broken?

2019-04-21 Thread rlharris
On 2019.04.21 02:31, rlhar...@oplink.net wrote: On 2019.04.20 19:42, David Wright wrote: So you expect that visitors can print from PDFs but you print locally with PS. Any reason? Kindly forgive my deficiency in the field of reading comprehension. I finally understand your question. I expe

Re: is xdvi broken?

2019-04-21 Thread rlharris
On 2019.04.20 19:42, David Wright wrote: Then it might be worth revisiting your deliverables and seeing whether a DVI workflow is still worth using after two decades. ... It's too long to remember exactly how I produced output for both static HTML pages and hardcopy. I still have macros for the