ubuntu-flutter-community / gnome_shell_extensions.dart

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Features

This a dart implementation of the dbus interface org.gnome.Shell.Extensions. It is also possible to get a list of remote extensions via HTTP.

TODO

  • list extensions
  • get extension info
  • get extension errors
  • install remote extension
  • uninstall extensions
  • reload extension
  • disable extension
  • reload extension
  • open extensions prefs
  • check for updates
  • get a list of all extensions with given gnome-shell version

About

License:GNU General Public License v3.0


Languages

Language:Dart 100.0%