linux-tools is definitively a better place for the script. One point of critique could be, that it's not installed on a standard system, but that applies to ubuntu-dev-tools too.
linux-tools is definitively a better place for the script. One point of critique could be, that it's not installed on a standard system, but that applies to ubuntu-dev-tools too.