#!/bin/bash

/usr/share/debian-system-adjustments/systemd/adjust-grub-title
