From 754bbf7a25a8dda49b5d08ef0d0443bbf5af0e36 Mon Sep 17 00:00:00 2001 From: Craig Jennings Date: Sun, 7 Apr 2024 13:41:34 -0500 Subject: new repository --- devdocs/bash/installation-names.html | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 devdocs/bash/installation-names.html (limited to 'devdocs/bash/installation-names.html') diff --git a/devdocs/bash/installation-names.html b/devdocs/bash/installation-names.html new file mode 100644 index 00000000..6a97744a --- /dev/null +++ b/devdocs/bash/installation-names.html @@ -0,0 +1,9 @@ +

Installation Names

By default, ‘make install’ will install into /usr/local/bin, /usr/local/man, etc.; that is, the installation prefix defaults to /usr/local. You can specify an installation prefix other than /usr/local by giving configure the option --prefix=PATH, or by specifying a value for the prefix ‘make’ variable when running ‘make install’ (e.g., ‘make install prefix=PATH’). The prefix variable provides a default for exec_prefix and other variables used when installing bash.

You can specify separate installation prefixes for architecture-specific files and architecture-independent files. If you give configure the option --exec-prefix=PATH, ‘make install’ will use PATH as the prefix for installing programs and libraries. Documentation and other data files will still use the regular prefix.

If you would like to change the installation locations for a single run, you can specify these variables as arguments to make: ‘make install exec_prefix=/’ will install bash and bashbug into /bin instead of the default /usr/local/bin.

If you want to see the files bash will install and where it will install them without changing anything on your system, specify the variable DESTDIR as an argument to make. Its value should be the absolute directory path you’d like to use as the root of your sample installation tree. For example, 

mkdir /fs1/bash-install
+make install DESTDIR=/fs1/bash-install
+
+

will install bash into /fs1/bash-install/usr/local/bin/bash, the documentation into directories within /fs1/bash-install/usr/local/share, the example loadable builtins into /fs1/bash-install/usr/local/lib/bash, and so on. You can use the usual exec_prefix and prefix variables to alter the directory paths beneath the value of DESTDIR.

The GNU Makefile standards provide a more complete description of these variables and their effects.

+

+ Copyright © 2000, 2001, 2002, 2007, 2008 Free Software Foundation, Inc.
Licensed under the GNU Free Documentation License.
+ https://www.gnu.org/software/bash/manual/html_node/Installation-Names.html +

+
-- cgit v1.2.3