Results 16 comments of Michael Stucki

I just came here because I wanted to request changing the apt filename from `download_docker_com_linux_debian.list` to simply `docker.list` as explained in the upstream Docker installation tutorial (https://docs.docker.com/engine/install/debian/). Is there a...

@davadev You should ask at the other project, not here. This project is dead!

I found some bug reports in this repo / project and didn't notice the difference in the first place. It seems like many users are still reporting here although the...

I would also like to request viewing by album functionality. If there's any way I can support that, let me know.

@seboettg This should be useful for https://packagist.org/packages/seboettg/citeproc-php

Really wondering if nobody noticed this before :-)

Hmm I realize now that this is intended. However, the problem remains that `make build` is executed on the host. Going to change the issue title, leaving the issue opened...

@cepheiVV That was my point, it needs to be maintained. As long as this is the case, fine.

My suggestion is to replace ``` rm -rf -- "$CODE_DIR" ``` with ``` rm -f -- "$CODE_DIR/.gitkeep" rm -rf -- "$CODE_DIR/web/" ```