Re: updmap-user: command not found

2019-07-31 Thread Curt
On 2019-07-30, Rodolfo Medina wrote: >>> >>> >>> curty@einstein:~$ apt-cache show texlive-base | grep -i updmap >>> updmap-map -- >>> >>> So simply spelt 'updmap-map', I guess. >> >> On stretch, it seems it's just updmap > > > Thanks all, that seems to be the case... Yes, I managed to get th

Re: updmap-user: command not found

2019-07-30 Thread Rodolfo Medina
David Wright writes: > On Mon 29 Jul 2019 at 19:56:32 (-), Curt wrote: >> On 2019-07-29, wrote: >> > >> > (this is an oldstable Debian). >> > >> > Perhaps the thing you're looking for is simply spelt "updmap"? >> >> >> curty@einstein:~$ apt-cache show texlive-base | grep -i updmap >> up

Re: updmap-user: command not found

2019-07-29 Thread David Wright
On Mon 29 Jul 2019 at 19:56:32 (-), Curt wrote: > On 2019-07-29, wrote: > > > > (this is an oldstable Debian). > > > > Perhaps the thing you're looking for is simply spelt "updmap"? > > > curty@einstein:~$ apt-cache show texlive-base | grep -i updmap > updmap-map -- > > So simply spelt '

Re: updmap-user: command not found

2019-07-29 Thread Curt
On 2019-07-29, wrote: > > (this is an oldstable Debian). > > Perhaps the thing you're looking for is simply spelt "updmap"? curty@einstein:~$ apt-cache show texlive-base | grep -i updmap updmap-map -- So simply spelt 'updmap-map', I guess. > Cheers -- “We are all in the gutter, but some

Re: updmap-user: command not found

2019-07-29 Thread tomas
On Mon, Jul 29, 2019 at 08:25:42PM +0100, Rodolfo Medina wrote: > Hi all. > > On my Debian Stretch box, the `updmap-user' command is declared `not found' > although the package texlive-base is installed. Why? > > Please help. Those are the similar commands I see: tomas@trotzki:~$ man -k updm

updmap-user: command not found

2019-07-29 Thread Rodolfo Medina
Hi all. On my Debian Stretch box, the `updmap-user' command is declared `not found' although the package texlive-base is installed. Why? Please help. Thanks in advance, Rodolfo