|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
launchtool
launchtool | Runs a command supervising its execution | Priority | |
Section | admin |
Installed size | 284 |
Maintainer | Enrico Zini <enrico@debian.org> |
Architecture | i386 |
Version | 0.7-1+b1 |
Depends | libc6 (>= 2.3.6-6), libgcc1 (>= 1 |
Suggests | dict-freedict |
File name | pool/main/l/launchtool/launchtool_0.7-1+b1_i386.deb |
Description | Runs a user-supplied command supervising its execution in many ways: . * controlling the environment * blocking signals * logging the output * changing user and group permissions * limiting resource usage * running it chrooted * restarting it if it fails * logging execution statistics * running it continuously * turning it into a daemon .
Homepage:
http://people.debian.org/~enrico/launchtool.html |
|
|