Ido Bar IdoBar

Setup Zenodo DOI badge before the first release

Before submitting your first release, identify your Github repo id on Github API at:

https://api.github.com/repos/{user}/{repo}

Installation:

A quick installation does not require root access, as shown:

(wget -O - pi.dk/3 || curl pi.dk/3/ || fetch -o - http://pi.dk/3) | bash

	#! /bin/bash

	## See also https://github.com/nextflow-io/nextflow/discussions/4308

	## cd to a parent directory for a Nextflow pipeline executation, i.e. contains .nextflow and work directories
	WORKDIR=$1
	## Find work directories essential to the last pipeline run, as absolute paths
	nextflow log last > $WORKDIR/preserve_dirs.txt

	## Find all work directories, as absolute paths