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

[Martin Sievers]

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
Martin