gemini-antenna/gemini_antenna/ingestfeeds-wrapper.sh

#!/bin/bash

cd $(dirname ${0})

if ! pgrep antenna > /dev/null; then
	antenna refresh --feedpage ../public_gemini/index.gmi --twtxtpage ../public_gemini/twtxt.gmi --twtxtfile ../public_gemini/twtxt.txt --atomfeedpage ../public_gemini/atom.xml --statfile ../public_gemini/stats.tsv
fi