#!/usr/bin/env bash

# Set ignore bios throttling on the kernel commandline
NEWARG="processor.ignore_ppc=1"
sudo sed -i -E "s|^(GRUB_CMDLINE_LINUX_DEFAULT=\"[^\"]*)\"|\1 ${NEWARG}\"|" /etc/default/grub
sudo update_grub