diff options
author | Arnaud Charlet <charlet@adacore.com> | 2021-07-22 03:27:41 -0400 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-09-22 15:01:46 +0000 |
commit | f4f6c18d9f739df6f1cf8aedbc2a0c4b3c0248fa (patch) | |
tree | 1ace6f5e6a19793fb47750e61c9098d2f98e295f | |
parent | 8c61547d80c8b4c611284b63e92d10f87c9898b2 (diff) | |
download | gcc-f4f6c18d9f739df6f1cf8aedbc2a0c4b3c0248fa.zip gcc-f4f6c18d9f739df6f1cf8aedbc2a0c4b3c0248fa.tar.gz gcc-f4f6c18d9f739df6f1cf8aedbc2a0c4b3c0248fa.tar.bz2 |
[Ada] Minor doc improvement
gcc/ada/
* doc/gnat_ugn/platform_specific_information.rst: Improve doc
on permission and containers.
* gnat_ugn.texi: Regenerate.
-rw-r--r-- | gcc/ada/doc/gnat_ugn/platform_specific_information.rst | 5 | ||||
-rw-r--r-- | gcc/ada/gnat_ugn.texi | 7 |
2 files changed, 9 insertions, 3 deletions
diff --git a/gcc/ada/doc/gnat_ugn/platform_specific_information.rst b/gcc/ada/doc/gnat_ugn/platform_specific_information.rst index 13993b8..4f68d25 100644 --- a/gcc/ada/doc/gnat_ugn/platform_specific_information.rst +++ b/gcc/ada/doc/gnat_ugn/platform_specific_information.rst @@ -217,7 +217,10 @@ this in a library package body in your application: (if geteuid = 0 then True else raise Program_Error with "must be root"); It gets the effective user id, and if it's not 0 (i.e. root), it raises -Program_Error. +Program_Error. Note that if you re running the code in a container, this may +not be sufficient, as you may have sufficient priviledge on the container, +but not on the host machine running the container, so check that you also +have sufficient priviledge for running the container image. .. index:: Linux .. index:: GNU/Linux diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index 9919cad..68a223c 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -22645,7 +22645,10 @@ Ignore : constant Boolean := @end quotation It gets the effective user id, and if it’s not 0 (i.e. root), it raises -Program_Error. +Program_Error. Note that if you re running the code in a container, this may +not be sufficient, as you may have sufficient priviledge on the container, +but not on the host machine running the container, so check that you also +have sufficient priviledge for running the container image. @geindex Linux @@ -29228,8 +29231,8 @@ to permit their use in free software. @printindex ge -@anchor{cf}@w{ } @anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{ } +@anchor{cf}@w{ } @c %**end of body @bye |