]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
[Ada] Minor doc improvement
authorArnaud Charlet <charlet@adacore.com>
Thu, 22 Jul 2021 07:27:41 +0000 (03:27 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 22 Sep 2021 15:01:46 +0000 (15:01 +0000)
gcc/ada/

* doc/gnat_ugn/platform_specific_information.rst: Improve doc
on permission and containers.
* gnat_ugn.texi: Regenerate.

gcc/ada/doc/gnat_ugn/platform_specific_information.rst
gcc/ada/gnat_ugn.texi

index 13993b86ad113ab982dd392133af5a41d4f3a1b1..4f68d25498e95459b8c231d25596a19c21d22aac 100644 (file)
@@ -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
index 9919cad9b882b9906b95d161e1929a38f91ae02e..68a223c061cca1eb30a108fd0a83a40528e8bde7 100644 (file)
@@ -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