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