19.4.3. Create your configuration

To prepare your configuration working directory, you can use the script create_config.bash provided in CROCO sources:

cp ~/croco/croco/create_config.bash ~/CONFIGS/.

Edit your paths and settings in create_config.bash:

#==========================================================================================
# BEGIN USER MODIFICATIONS

# Machine you are working on
# Known machines: Linux DATARMOR IRENE JEANZAY
# ---------------------------------------------
MACHINE="Linux"

# CROCO parent directory
# (where croco_tools directory and croco source directory can be found)
# -----------------
CROCO_DIR=~/croco/croco
TOOLS_DIR=~/croco/croco_tools

# Configuration name
# ------------------
MY_CONFIG_NAME=BENGUELA_cpl

# Home and Work configuration directories
# ---------------------------------------
MY_CONFIG_HOME=~/CONFIGS
MY_CONFIG_WORK=~/CONFIGS

# Options of your configuration
options=( all-prod-cpl )

Run create_config.bash:

./create_config.bash

Go into your configuration directory, open, check and eventually edit paths in myenv_mypath.sh, and source it (you need to be in a bash environment):

source myenv_mypath.sh

It will set a few useful paths and environment variables.