Как найти соответствующий ppa-архив команды?

Я знаю, что это немного поздно, но я реализовал сценарий решения в python, если один из них не удовлетворяет вас.

https://github.com/loric-/enableGnomeExtensions.py

Надеюсь, что проблема скоро будет исправлена.