From 2f42130de589241f2f950b27558b363a82ebe952 Mon Sep 17 00:00:00 2001
From: heck <heck@pep.foundation>
Date: Mon, 28 Feb 2022 19:33:06 +0100
Subject: [PATCH] add clone_libpEpCxx11

---
 bash_profile.d/pEp.sh | 6 ++++++
 1 file changed, 6 insertions(+)

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 .
 }