A short exercise about external communication: how to generate a text -we all are agreeing upon- using git

instructions.md 3.0KB

Is not so hard:

  • Easy way: use the gitea interface You will not yet get all what git is about, but you can make a new file, save it with the right name and .md extension, copy your part of the text, edit it, commit it and save it. I will be notified and allow to review and push it into the repository.

  • use GIT This means two things: first you will have git on your machine. Is a multiplatform software that works on terminal. Because terminal is easy Because terminal is the same on any machine you can enter into from remote, real or virtual. GUI’s tend to be different, terminal are the same. If you learn something on a gui you have to learn it again in a couple years. With terminal you are more or less set.

so what is GIT?

  • is a system of versioning, every time you commit to change something you record it in a… LEDGER ;)
  • so, you have this ledger on your machine, in the folder were you have the files (on unix is hidden in a invisible folder denominated .git/), and you can commit changes to it. He will keep track for you and allow to go back to a previous version, or to “fork” two or more versions, tracking changes.
  • and what if you want to work with other people?
  • that is the remote repository, a little like is on ledger.dyne.org cloud, we have a remote git server were you can pull some files and pull files, with your committs. The server will keep track of the mess and someone will be able to put it in order.
  • so what is ledger-git.dyne.org then? Is a “view” on the git server, a web GUI, with some services on top, like a wiki, a editor for files, an access… is an alternative to gitlab or to github that runs on dyne’s servers…
  • You can as well access the remote and the local git service with a local gui, like github client or any other platform specific GUI… but Terminal is going to be the same for everyone.

How do I find the basic commands? for example follow these instructions: https://rogerdudler.github.io/git-guide/

once you have installed git, you can open a terminal and type:

man git

and/or follow the instructions of the git-guide or google about it, or ask your naighbour…

  1. create a new directory, open it and perform a bash git init to create a new git repository in that folder.

then you might want to connect that repository to the public or private remote one.

  • When you want to register a change you commit it
  • When you want to have a repository copied to your local system you clone it
  • When you want to send your committed changes to the remote repository you push them, before pushing your changes you might want to pull the actual version…
  • Is this all? No, but is enough to start digging it. You will learn to clone branch push and fork like a pro. And everything will become clearer.

Texts will be more portable, changes will be signed, errors can be passed to blame etcetera.

You will never miss g-docs, ever, and everyone will love you. No, truly…