#! /bin/env sh

sudo chmod +w /boot/grub/grub.cfg
sudo sed -iE 's| /store| /__current/gnu/store|' /boot/grub/grub.cfg
sudo chmod -w /boot/grub/grub.cfg