GitHub repository: mmartinortiz/RmPwOffBtn
Primary language: JavaScript
Description: Gnome-Shell-Extension Remove PowerOff Button from gnome-shell's statusArea/aggregateMenu. Ubuntu 18.04, Ubuntu 19.04 and Ubuntu 19.10.