[tex-live] Setting predefined pinning information to a custom repository?
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 ....
> 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?
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 ...
More information about the tex-live