Translating How to remove PPA repository from command line on Ubuntu