From 29c675435c443a41ae26c4e3490b0ab5d4903b62 Mon Sep 17 00:00:00 2001 From: Sven Van Caekenberghe Date: Fri, 13 Dec 2024 19:03:03 +0100 Subject: [PATCH] Add a section [Enabling git CLI] to the [Using Libgit-CLI as an alternative to Libgit2 FFI in Iceberg] GT book page [feenkcom/gtoolkit#4041] --- lepiter/7mfe0ftw0eakhrjuf13m3hdd6.lepiter | 185 ++++++++++++++++++++++ 1 file changed, 185 insertions(+) diff --git a/lepiter/7mfe0ftw0eakhrjuf13m3hdd6.lepiter b/lepiter/7mfe0ftw0eakhrjuf13m3hdd6.lepiter index 886eff13a..10f96f2b7 100644 --- a/lepiter/7mfe0ftw0eakhrjuf13m3hdd6.lepiter +++ b/lepiter/7mfe0ftw0eakhrjuf13m3hdd6.lepiter @@ -1269,6 +1269,191 @@ }, "string" : "There is also a view to look at the git config settings. Note that user.name and user.email need to be set." }, + { + "__type" : "textSnippet", + "children" : { + "__type" : "snippets", + "items" : [ ] + }, + "createEmail" : { + "__type" : "email", + "emailString" : "" + }, + "createTime" : { + "__type" : "time", + "time" : { + "__type" : "dateAndTime", + "dateAndTimeString" : "2024-12-13T18:54:20.624289+01:00" + } + }, + "editEmail" : { + "__type" : "email", + "emailString" : "" + }, + "editTime" : { + "__type" : "time", + "time" : { + "__type" : "dateAndTime", + "dateAndTimeString" : "2024-12-13T18:54:32.012738+01:00" + } + }, + "uid" : { + "__type" : "uid", + "uidString" : "sQrgQYzlDQCFUpILDxVpmA==" + }, + "paragraphStyle" : { + "__type" : "textStyle" + }, + "string" : "#Enabling git CLI" + }, + { + "__type" : "textSnippet", + "children" : { + "__type" : "snippets", + "items" : [ ] + }, + "createEmail" : { + "__type" : "email", + "emailString" : "" + }, + "createTime" : { + "__type" : "time", + "time" : { + "__type" : "dateAndTime", + "dateAndTimeString" : "2024-12-13T18:54:33.690342+01:00" + } + }, + "editEmail" : { + "__type" : "email", + "emailString" : "" + }, + "editTime" : { + "__type" : "time", + "time" : { + "__type" : "dateAndTime", + "dateAndTimeString" : "2024-12-13T18:55:37.809875+01:00" + } + }, + "uid" : { + "__type" : "uid", + "uidString" : "3GmnQozlDQCFtUTFDxVpmA==" + }, + "paragraphStyle" : { + "__type" : "textStyle" + }, + "string" : "There is a high level tool to enable git CLI usage called {{gtClass:GitCliEnabler}}. In the next subsections lower level tools are described." + }, + { + "__type" : "textSnippet", + "children" : { + "__type" : "snippets", + "items" : [ ] + }, + "createEmail" : { + "__type" : "email", + "emailString" : "" + }, + "createTime" : { + "__type" : "time", + "time" : { + "__type" : "dateAndTime", + "dateAndTimeString" : "2024-12-13T18:55:40.187133+01:00" + } + }, + "editEmail" : { + "__type" : "email", + "emailString" : "" + }, + "editTime" : { + "__type" : "time", + "time" : { + "__type" : "dateAndTime", + "dateAndTimeString" : "2024-12-13T18:56:01.624181+01:00" + } + }, + "uid" : { + "__type" : "uid", + "uidString" : "+hWeRozlDQCIcF4FDxVpmA==" + }, + "paragraphStyle" : { + "__type" : "textStyle" + }, + "string" : "{{gtExample:GitCliEnabler>>#example|previewExpanded=true|previewHeight=500}}" + }, + { + "__type" : "textSnippet", + "children" : { + "__type" : "snippets", + "items" : [ ] + }, + "createEmail" : { + "__type" : "email", + "emailString" : "" + }, + "createTime" : { + "__type" : "time", + "time" : { + "__type" : "dateAndTime", + "dateAndTimeString" : "2024-12-13T18:57:31.670946+01:00" + } + }, + "editEmail" : { + "__type" : "email", + "emailString" : "" + }, + "editTime" : { + "__type" : "time", + "time" : { + "__type" : "dateAndTime", + "dateAndTimeString" : "2024-12-13T18:58:12.034503+01:00" + } + }, + "uid" : { + "__type" : "uid", + "uidString" : "ay9DTYzlDQCIfnqMDxVpmA==" + }, + "paragraphStyle" : { + "__type" : "textStyle" + }, + "string" : "By using a item context menu you can switch the implementation of individual repositories." + }, + { + "__type" : "textSnippet", + "children" : { + "__type" : "snippets", + "items" : [ ] + }, + "createEmail" : { + "__type" : "email", + "emailString" : "" + }, + "createTime" : { + "__type" : "time", + "time" : { + "__type" : "dateAndTime", + "dateAndTimeString" : "2024-12-13T18:58:17.243933+01:00" + } + }, + "editEmail" : { + "__type" : "email", + "emailString" : "" + }, + "editTime" : { + "__type" : "time", + "time" : { + "__type" : "dateAndTime", + "dateAndTimeString" : "2024-12-13T19:00:10.904162+01:00" + } + }, + "uid" : { + "__type" : "uid", + "uidString" : "Ao/6T4zlDQCK2tVqDxVpmA==" + }, + "paragraphStyle" : { + "__type" : "textStyle" + }, + "string" : "Using the buttons **Switch all** and **Revert all** you can do the same for all repositories. These will also set the implementation for newly created repositories in the future. " + }, { "__type" : "textSnippet", "children" : {