#!/bin/sh if [ -e /etc/default/grub ]; then sudo rm /etc/default/grub fi install_dotfiles "/" "$DOTFILES_DIR" "grub"