#!/bin/bash
cd /usr/share/coco-coq
exec nagi "$@"