Use a shell script to avoid revealing the push key

Yet again, I need to reset my push key.