diff --git a/bash_profile.d/pEp.sh b/bash_profile.d/pEp.sh index 2fa99e1..28b6dca 100644 --- a/bash_profile.d/pEp.sh +++ b/bash_profile.d/pEp.sh @@ -68,6 +68,12 @@ function clone_pitytest11() { cp -r $PEP_LOCAL_CONF_DIR/intellij/.idea.PityTest11 .idea } +function clone_libpEpCxx11() { + git clone https://gitea.pep.foundation/pEp.foundation/libpEpCxx11.git . + cp $PEP_LOCAL_CONF_DIR/local.conf.libpEpCxx11 local.conf + cp -r $PEP_LOCAL_CONF_DIR/intellij/.idea.libpEpCxx11 .idea +} + function clone_devWiki() { git clone ssh://wiki/var/lib/gitit/wikidata . }