The Runloop Devbox environment is configured to source the ~/.bash_profile file for all ssh instances and execs. This file should be placed in the home folder for the devbox user (/home/user/ by default) and will be sourced by the devbox environment. Runloop devboxes don’t have a ~/.bash_profile file by default. You can create one in the home folder for the devbox user and it will be sourced by the devbox environment. Runloop also supports specifying environment_variables when launching a devbox. Our current logic will initialize environment_variables arguments and then source the ~/.bash_profile file if it exists. ~/.bash_profile variables will override the equivalent environment_variables arguments if they both exist. Ex: setting RUNLOOP_API_KEY=123 in ~/.bash_profile and launching a devbox with RUNLOOP_API_KEY=456 will result in RUNLOOP_API_KEY evaluating to 123 in the devbox.