# Change Tor Identity GNOME Shell Extension

# TODO
*
* Check for errors, decide how to handle them
** tor server not reachable
** connection to control port lost