[tex-live] Setting predefined pinning information to a custom repository?

Martin Sievers martin at dante.de
Thu Jun 14 10:02:27 CEST 2018

Am 14.06.2018 um 06:30 schrieb Norbert Preining:
> Hi Martin,
>> it is possible to attach pinning information directly to it, i.e. users
>> should not have to set them manually using some kind of shell. I have
> No, that is not possible at the moment.
> What *could* be done is a switch to
>    tlmgr repo add ....
> called
>    --pin-all
> that when given automatically adds pinning of all packages from the
> repo, the equivalent of
>    tlmgr pinning add foobar *
> But that is not something that will be out in a few days ;-)
> WDYT? Karl?
> Norbert

Hi Norbert,

okay. Then I keep my fingers crossed, that "my" users won't curse me for 
having to use a shell/command line ;-)

I might send them a script to doubleclick ...

Best regards

More information about the tex-live mailing list