diff options
author | Anonymous <anon@anon.com> | 2022-11-22 22:54:38 +0100 |
---|---|---|
committer | Anonymous <anon@anon.com> | 2022-11-22 22:54:38 +0100 |
commit | 8cb4eb99ea3a038051330a293dd21bda23ebfb23 (patch) | |
tree | a6a481e86db2b35dad4400dff39ae7385f660c86 | |
parent | 278e615cea41e6b739df50f6653e4aac9afc1d9f (diff) |
[x] finished parts
-rw-r--r-- | agenda/create kartei repo.md | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/agenda/create kartei repo.md b/agenda/create kartei repo.md index e7dd3bf..f58998d 100644 --- a/agenda/create kartei repo.md +++ b/agenda/create kartei repo.md @@ -8,8 +8,8 @@ The kartei repository should contain all shared data (and nothing else), in part To use kartei in stockholm, it need to be augmented, i.e. stuff like `ci`, `cores`, etc. needs to be added (on a per-user basis?) Instead of a separate repository, start by using `<stockholm/kartei>`. -- move <stockholm/krebs/3modules/${username}> to kartei -- move <stockholm/krebs/3module/external/${username}.nix> to kartei -- move <stockholm/krebs/3module/external.nix> to kartei -- update documentation - - [https://github.com/krebs/retiolum/blob/master/README.md](https://github.com/krebs/retiolum/blob/master/README.md) +- [x] move <stockholm/krebs/3modules/${username}> to kartei +- [x] move <stockholm/krebs/3module/external/${username}.nix> to kartei +- [x] move <stockholm/krebs/3module/external.nix> to kartei +- [ ] update documentation + - [ ] [https://github.com/krebs/retiolum/blob/master/README.md](https://github.com/krebs/retiolum/blob/master/README.md) |