From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1914) id 3BA1D385841F; Wed, 22 Sep 2021 15:11:05 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 3BA1D385841F MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="utf-8" From: Pierre-Marie de Rodat To: gcc-cvs@gcc.gnu.org Subject: [gcc r12-3809] [Ada] Minor doc improvement X-Act-Checkin: gcc X-Git-Author: Arnaud Charlet X-Git-Refname: refs/heads/master X-Git-Oldrev: 8c61547d80c8b4c611284b63e92d10f87c9898b2 X-Git-Newrev: f4f6c18d9f739df6f1cf8aedbc2a0c4b3c0248fa Message-Id: <20210922151105.3BA1D385841F@sourceware.org> Date: Wed, 22 Sep 2021 15:11:05 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 22 Sep 2021 15:11:05 -0000 https://gcc.gnu.org/g:f4f6c18d9f739df6f1cf8aedbc2a0c4b3c0248fa commit r12-3809-gf4f6c18d9f739df6f1cf8aedbc2a0c4b3c0248fa Author: Arnaud Charlet Date: Thu Jul 22 03:27:41 2021 -0400 [Ada] Minor doc improvement gcc/ada/ * doc/gnat_ugn/platform_specific_information.rst: Improve doc on permission and containers. * gnat_ugn.texi: Regenerate. Diff: --- gcc/ada/doc/gnat_ugn/platform_specific_information.rst | 5 ++++- 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 13993b86ad1..4f68d25498e 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 9919cad9b88..68a223c061c 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