Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

do not write a .bash_profile in SEPAL #641

Open
12rambau opened this issue Nov 29, 2022 · 0 comments
Open

do not write a .bash_profile in SEPAL #641

12rambau opened this issue Nov 29, 2022 · 0 comments
Labels
bug Something isn't working documentation Improvements or additions to documentation

Comments

@12rambau
Copy link
Member

In https://sepal-ui.readthedocs.io/en/latest/start/contribute.html#env-for-planet-components we suggest to create a .bash_profile file to the developers of the lib. It should work on local computers but will break SEPAL instances initialization.

Looking at the .profile in my account I found:

 # ~/.profile: executed by the command interpreter for login shells.
# This file is not read by bash(1), if ~/.bash_profile or ~/.bash_login
# exists.
# see /usr/share/doc/bash/examples/startup-files for examples.
# the files are located in the bash-doc package.

# the default umask is set in /etc/profile; for setting the umask
# for ssh logins, install and configure the libpam-umask package.
#umask 022

# if running bash
if [ -n "$BASH_VERSION" ]; then
    # include .bashrc if it exists
    if [ -f "$HOME/.bashrc" ]; then
        . "$HOME/.bashrc"
    fi
fi

# set PATH so it includes user's private bin if it exists
if [ -d "$HOME/bin" ] ; then
    PATH="$HOME/bin:$PATH"
fi

# set PATH so it includes user's private bin if it exists
if [ -d "$HOME/.local/bin" ] ; then
    PATH="$HOME/.local/bin:$PATH"
fi

meaning that if .bash_profile exist then the bins are not correctly instanciated (and the coloring and other prettifying stuff)

@12rambau 12rambau added bug Something isn't working documentation Improvements or additions to documentation labels Nov 29, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working documentation Improvements or additions to documentation
Projects
None yet
Development

No branches or pull requests

1 participant