/
usr
/
share
/
mpi-default-dev
/
/usr/share/mpi-default-dev
mkdir
upload
Name
Size
Mode
Actions
debian_defaults
867
0644
edit
dl
rm
Delete
debian_defaults
?
Yes
rename
chmod
cmd:
run