[PATCH 1/2] Change Linux default prefix to "/opt"

Chris Johns chrisj at rtems.org
Thu Jan 17 10:36:04 UTC 2019


Ok to push.

On 17/1/19 9:34 pm, Sebastian Huber wrote:
> http://refspecs.linuxbase.org/FHS_3.0/fhs/ch03s13.html#purpose14
> ---
>  source-builder/sb/linux.py | 1 +
>  1 file changed, 1 insertion(+)
> 
> diff --git a/source-builder/sb/linux.py b/source-builder/sb/linux.py
> index f270121..367532a 100644
> --- a/source-builder/sb/linux.py
> +++ b/source-builder/sb/linux.py
> @@ -63,6 +63,7 @@ def load():
>          '_host_arch':       ('none',    'none',     cpu),
>          '_usr':             ('dir',     'required', '/usr'),
>          '_var':             ('dir',     'required', '/var'),
> +        '_prefix':          ('dir',     'optional', '/opt'),
>          '__bzip2':          ('exe',     'required', '/usr/bin/bzip2'),
>          '__gzip':           ('exe',     'required', '/bin/gzip'),
>          '__tar':            ('exe',     'required', '/bin/tar')
> 



More information about the devel mailing list