Information for file /usr/bin/gnome-shell-extension-tool
| Name | /usr/bin/gnome-shell-extension-tool |
|---|---|
| Digest (sha256) | 6a1dcc45369f97c8ed5cd1082b7813eb4cb2293a6d44f449e6d72ccd8b3ead4d |
| Size | 7.17 KB |
| Modification time | Thu, 04 Oct 2018 00:07:28 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | gnome-shell-3.30.0-9.fc29.riscv64.rpm |
