Как удалить ярлыки? [Дубликат]

Маленький скрипт, который будет охватывать оба случая [сервер работает / сервер не работает]:

#!/bin/bash

service mysql restart
if [ "$?" != "0" ]; then
  service mysql start
fi