indicator-keylock はファンクションキーの状態を手軽に扱えるやつ。 そして Ubuntu 18.04 向けの新しい PPA が出ている。