Hello Petr, On Wed, Jul 24, 2019 at 07:23:34AM +0200, Petr Lajtkep wrote:
> 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:~$ This is a problem in v2019.07.0 that is fixed in master. See commit a653df5d3f35. Best regards Uwe -- Pengutronix e.K. | Uwe Kleine-König | Industrial Linux Solutions | http://www.pengutronix.de/ | _______________________________________________ ptxdist mailing list ptxdist@pengutronix.de
