On Wed, Jun 28, 2017 at 04:32:26PM -0400, zap wrote:

[cut]

> > In other words:
> >
> > 1) create the file /etc/apt/preferences/ascii-pin containing the
> > following three lines:
> How do you make a file there especially if preferences is either missing
> or named differently?
>
>
> aka, /etc/apt/preferences
>
> the below is therefore difficult unless someone tells me how to fix it...
>

Sorry, that's my fault. It should be /etc/apt/preferences.d/ascii-pin

Best

KatolaZ

-- 
[ ~.,_  Enzo Nicosia aka KatolaZ - GLUGCT -- Freaknet Medialab  ]  
[     "+.  katolaz [at] freaknet.org --- katolaz [at] yahoo.it  ]
[       @)   http://kalos.mine.nu ---  Devuan GNU + Linux User  ]
[     @@)  http://maths.qmul.ac.uk/~vnicosia --  GPG: 0B5F062F  ] 
[ (@@@)  Twitter: @KatolaZ - skype: katolaz -- github: KatolaZ  ]