#!/bin/bash
exec /bin/bash -r "$@"
