#!/bin/sh echo "please restart GUI to activate the new Font..." exit 0