Changes between Version 2 and Version 3 of ExploringAndPullingTexts

Timestamp:

Apr 28, 2025, 2:52:07 AM (6 weeks ago)

Author:

Izuru Yakumo

Comment:

--

ExploringAndPullingTexts

@@ -8 +8 @@
 To add a new remote run: {{{ txt pull <url> }}}, where {{{ <url> }}} is the address of the remote repository.\\
 The program will connect to the server, copy the {{{ index.pck }}} file and use it to download each text file.\\
-It will not redownload previous texts, unless their Date or Date-Edited dates are newer than the previous ones.\\
+It will not re-download previous texts, unless their Date or Date-Edited dates are newer than the previous ones.\\
 
-The text files are by default downloaded to {{ $HOME/.local/share/texts/peers/ }}. 
+The text files are by default downloaded to {{{ $HOME/.local/share/texts/peers/ }}}. 
 A new directory is created for each peer's unique id and the index & texts are stored in it. 
-Running {{{ txt pull }}} with no URL, will refetch indices from all previously pulled repositories, and new text files will be downloaded automatically.
+Running {{{ txt pull }}} with no URL, will re-fetch indices from all previously pulled repositories, and new text files will be downloaded automatically.
 
-^1: {{{ curl }}} does not support pulling texts from Gemini servers, though
+^1: [https://curl.se curl://] does not support pulling texts from Gemini servers, due to its dubious status as an standard, and its lack of formalization in [https://www.ietf.org/ IETF], though.