Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

phpdoc e docker

5 views
Skip to first unread message

Tommy

unread,
Jul 12, 2022, 6:52:51 AM7/12/22
to
$ docker run --rm -v ${PWD}:/data phpdoc/phpdoc:3
docker: Cannot connect to the Docker daemon at
unix:///$HOME/.docker/desktop/docker.sock. Is the docker daemon running?.
See 'docker run --help'.

Perchè?

Tommy

unread,
Jul 12, 2022, 11:32:36 AM7/12/22
to
Il 12/07/22 12:52, Tommy ha scritto:
Ho riavviato il sistema, ma ancora non funziona

$ cat phpdoc.dist.xml
<?xml version="1.0" encoding="UTF-8" ?>
<phpdocumentor
configVersion="3"
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xmlns="https://www.phpdoc.org"

xsi:noNamespaceSchemaLocation="https://docs.phpdoc.org/latest/phpdoc.xsd"
>
<paths>
<output>build/api</output>
<cache>build/cache</cache>
</paths>
<version number="3.0.0">
<api>
<source dsn=".">
<path>src</path>
</source>
</api>
</version>
</phpdocumentor>

$ docker run --rm -v ${PWD}:/data phpdoc/phpdoc:3 | head -n6
Description:
Parses and transforms the given files to a specified location

Usage:
project:run [options]
run
write /dev/stdout: broken pipe

Alessandro Selli

unread,
Jul 12, 2022, 7:44:38 PM7/12/22
to
Il 12/07/22 12:52, Tommy ha scritto:
A occhio e croce direi perché il demone non gira.


OpenPGP_signature

Tommy

unread,
Jul 13, 2022, 2:39:19 AM7/13/22
to
Il 13/07/22 01:44, Alessandro Selli ha scritto:
hai letto l'altra risposta (aggiornamento)?
0 new messages