wok-current /python3-pygments/ tip

name size permissions
[up] drwxr-xr-x
file receipt 785 -rw-r--r--