Dear sirs,

In start program ptxdist is two problems. Version ptxdist-2019.07.0


petr@debian:~$ ptxdist
/usr/local/lib/ptxdist-2019.07.0/bin/ptxdist: line 2261:
/home/petr/.ptxdist/ptxdistrc-2010.01: No such file or directory
/usr/local/lib/ptxdist-2019.07.0/scripts/libptxdist.sh: line 105:
/home/petr/.ptxdist/ptxdistrc-2010.01: No such file or directory
cp: cannot stat '/home/petr/.ptxdist/ptxdistrc-2010.01': No such file or
directory
PTXdist: fatal error ... cannot start, sorry!
petr@debian:~$

see in attachmet

Debian is in virtual box ver. 6.
The same result is with Ubuntu 16.04 and Ubuntu 18.04.

Petr Lajtkep