run.sh
No OneTemporary
Actions

Size

325 B

Subscribers

None

run.sh
View Options

	#!/bin/bash

	die_usage() {
	echo "Usage: docker/run.sh GRAPH_DIR"
	exit 1
	}

	graph_dir="$1"
	if [ -z "$graph_dir" -o ! -d "$graph_dir" ] ; then
	die_usage
	fi

	docker run -ti \
	--volume "$graph_dir":/srv/softwareheritage/graph/data \
	--publish 127.0.0.1:5009:5009 \
	swh-graph:latest \
	bash

File Metadata

Mime Type: text/x-shellscript
Expires: Fri, Jul 4, 4:34 PM (2 w, 5 d ago)
Storage Engine: blob
Storage Format: Raw Data
Storage Handle: 3238835

Event Timeline