Skip to content

Fix comment style in Dockerfile#11

Closed
b-fein wants to merge 1 commit intoJabRef:mainfrom
b-fein:fix-dockerfile
Closed

Fix comment style in Dockerfile#11
b-fein wants to merge 1 commit intoJabRef:mainfrom
b-fein:fix-dockerfile

Conversation

@b-fein
Copy link

@b-fein b-fein commented Oct 21, 2025

Comments in Dockerfiles start with # instead of //.

Resulting error can be seen for example in https://github.com/JabRef/jabref-action/actions/runs/18560395771/job/52907702898

Dockerfile:1
  --------------------
     1 | >>> // Corresponding Dockerfile: https://github.com/JabRef/jabref/blob/main/Dockerfile.jabkit 
     2 |     FROM ghcr.io/jabref/jabkit:edge
     3 |     
  --------------------
  ERROR: failed to build: failed to solve: dockerfile parse error on line 1: unknown instruction: //

Comments in Dockerfiles start with `#` instead of `//`.
@b-fein
Copy link
Author

b-fein commented Oct 25, 2025

resolved by ce93644 already.

@b-fein b-fein closed this Oct 25, 2025
@b-fein b-fein deleted the fix-dockerfile branch October 25, 2025 16:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant