Information for file /usr/share/gedit/plugins/externaltools/tools/run-command
| Name | /usr/share/gedit/plugins/externaltools/tools/run-command |
|---|---|
| Digest (sha256) | 638267c2280dd12185ab23d144c2d533cad39dd5a6edd7aa4fce7638be32dc29 |
| Size | 12.71 KB |
| Modification time | Thu, 22 Sep 2022 11:23:18 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | gedit-2:43~alpha-2.fc37.riscv64.rpm |
