Information for file /usr/share/zsh/5.7.1/functions/_ps1234
| Name | /usr/share/zsh/5.7.1/functions/_ps1234 |
|---|---|
| Digest (sha256) | 7fc047df67ba3e145645cc3d8cb8fbe9826de3e3b5f648604d2a9d17cf1e2443 |
| Size | 5.66 KB |
| Modification time | Tue, 30 Jul 2019 17:55:02 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | zsh-5.7.1-4.fc31.riscv64.rpm |
