# path managing tools
path_append ()  { path_remove $1; export PATH="$PATH:$1"; }
path_prepend () { path_remove $1; export PATH="$1:$PATH"; }
path_remove ()  { export PATH=`echo -n $PATH | awk -v RS=: -v ORS=: '$0 != "'$1'"' | sed 's/:$//'`; }


# conda managing tools
CONDA_FOLDER="/home/fedora/miniconda3/bin"
reconda () { echo "added conda to path: $CONDA_FOLDER"; path_prepend $CONDA_FOLDER; }
unconda () { echo "removed conda from path: $CONDA_FOLDER"; path_remove $CONDA_FOLDER; }