#!/bin/bash

# hack for restarting atari800 by toggling its version attribute

cp /vm/init.config /tmp/
v=`sed -n '/atari800.*version/p' /tmp/init.config`; \
  if [ -n "$v" ]; then \
    sed '/atari800/s/version: [^|]*[|] //' /tmp/init.config > /vm/init.config ; \
  else \
    sed '/atari800/s%atari800%atari800 | version: 1%' /tmp/init.config > /vm/init.config ; \
  fi
