Changeset 3a744d127566c14f309ae882c3de3925be0fb914
- Timestamp:
- 02/26/10 07:58:32
(5 months ago)
- Author:
- Chris PeBenito <cpebenito@tresys.com>
- Committer:
- Chris PeBenito <cpebenito@tresys.com> 1267192712 -0500
- Parent:
[13f000d2ef052fe1a0746b5fbeeb9d7f9b7cb057]
- Message:
Improve documentation of corecmd_exec_bin() and corecmd_exec_shell().
-
Files:
-
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
| r290aa8a |
r3a744d1 |
|
| 294 | 294 | ## in the caller domain. |
|---|
| 295 | 295 | ## </summary> |
|---|
| | 296 | ## <desc> |
|---|
| | 297 | ## <p> |
|---|
| | 298 | ## Allow the specified domain to execute generic programs |
|---|
| | 299 | ## in system bin directories (/bin, /sbin, /usr/bin, |
|---|
| | 300 | ## /usr/sbin) a without domain transition. |
|---|
| | 301 | ## </p> |
|---|
| | 302 | ## <p> |
|---|
| | 303 | ## Typically, this interface should be used when the domain |
|---|
| | 304 | ## executes general system progams within the privileges |
|---|
| | 305 | ## of the source domain. Some examples of these programs |
|---|
| | 306 | ## are ls, cp, sed, python, and tar. This does not include |
|---|
| | 307 | ## shells, such as bash. |
|---|
| | 308 | ## </p> |
|---|
| | 309 | ## <p> |
|---|
| | 310 | ## Related interface: |
|---|
| | 311 | ## </p> |
|---|
| | 312 | ## <ul> |
|---|
| | 313 | ## <li>corecmd_exec_shell()</li> |
|---|
| | 314 | ## </ul> |
|---|
| | 315 | ## </desc> |
|---|
| 296 | 316 | ## <param name="domain"> |
|---|
| 297 | 317 | ## <summary> |
|---|
| … | … | |
| 771 | 791 | ######################################## |
|---|
| 772 | 792 | ## <summary> |
|---|
| 773 | | ## Execute a shell in the caller domain. |
|---|
| 774 | | ## </summary> |
|---|
| | 793 | ## Execute shells in the caller domain. |
|---|
| | 794 | ## </summary> |
|---|
| | 795 | ## <desc> |
|---|
| | 796 | ## <p> |
|---|
| | 797 | ## Allow the specified domain to execute shells without |
|---|
| | 798 | ## a domain transition. |
|---|
| | 799 | ## </p> |
|---|
| | 800 | ## <p> |
|---|
| | 801 | ## Typically, this interface should be used when the domain |
|---|
| | 802 | ## executes shells within the privileges |
|---|
| | 803 | ## of the source domain. Some examples of these programs |
|---|
| | 804 | ## are bash, tcsh, and zsh. |
|---|
| | 805 | ## </p> |
|---|
| | 806 | ## <p> |
|---|
| | 807 | ## Related interface: |
|---|
| | 808 | ## </p> |
|---|
| | 809 | ## <ul> |
|---|
| | 810 | ## <li>corecmd_exec_bin()</li> |
|---|
| | 811 | ## </ul> |
|---|
| | 812 | ## </desc> |
|---|
| 775 | 813 | ## <param name="domain"> |
|---|
| 776 | 814 | ## <summary> |
|---|
