diff options
Diffstat (limited to 'project')
| -rwxr-xr-x | project | 15 |
1 files changed, 10 insertions, 5 deletions
@@ -3,8 +3,8 @@ # High-level script to manage the project. # Run './project --help' for a description of how to use it. # -# Copyright (C) 2019-2022 Mohammad Akhlaghi <mohammad@akhlaghi.org> -# Copyright (C) 2021-2022 Raul Infante-Sainz <infantesainz@gmail.com> +# Copyright (C) 2019-2023 Mohammad Akhlaghi <mohammad@akhlaghi.org> +# Copyright (C) 2021-2023 Raul Infante-Sainz <infantesainz@gmail.com> # # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -516,20 +516,25 @@ case $operation in # tools like some text editors. bdir=`.local/bin/realpath .build` instdir="$bdir"/software/installed + bindir="$bdir"/software/installed/bin + rcfile=$(pwd)/reproduce/software/shell/bashrc.sh .local/bin/env -i \ HOME="$bdir" \ TERM="$TERM" \ + PATH="$bindir" \ CCACHE_DISABLE=1 \ - PATH="$instdir"/bin \ + PROJECT_STATUS=shell \ + SHELL="$bindir"/bash \ + COLORTERM="$COLORTERM" \ + PROJECT_RCFILE="$rcfile" \ LDFLAGS=-L"$instdir"/lib \ - SHELL="$instdir"/bin/bash \ CPPFLAGS=-I"$instdir"/include \ LD_LIBRARY_PATH="$instdir"/lib \ OMPI_MCA_plm_rsh_agent=/bin/false \ PYTHONPATH="$instdir"/lib/python/site-packages \ PYTHONPATH3="$instdir"/lib/python/site-packages \ PS1="[\[\033[01;35m\]maneage@\h \W\[\033[32m\]\[\033[00m\]]$ " \ - "$instdir"/bin/bash --noprofile --norc + "$bindir"/bash --noprofile --rcfile "$rcfile" ;; |