maandag 13 november 2017
Git workflow
An excellent diagram of the Git workflow. One that must be saved and looked at again and again.
zaterdag 11 november 2017
Entering_a_Number_with_Leading_Zeros in spreadsheets
https://help.libreoffice.org/Calc/Entering_a_Number_with_Leading_Zeros/nl
donderdag 9 november 2017
Marvim plugin
De Marvim plugin is een vim plugin. Deze is in staat om macro's te saven.
Dit doe je door "qq" te gebruiken. Met andere woorden je creert gewoon een macro. Deze save je met een naam met F3.
Vervolgens kun je deze zoeken met F2 en deze opnieuw uitvoeren.
De macro's worden opgeslagen in .marvim in de home directory.
Let op: de macro's moeten met "qq" opgenomen worden. "qe" bijvoorbeeld werkt niet.
Dit doe je door "qq" te gebruiken. Met andere woorden je creert gewoon een macro. Deze save je met een naam met F3.
Vervolgens kun je deze zoeken met F2 en deze opnieuw uitvoeren.
De macro's worden opgeslagen in .marvim in de home directory.
Let op: de macro's moeten met "qq" opgenomen worden. "qe" bijvoorbeeld werkt niet.
vrijdag 15 september 2017
Opgave Autorisatiecode/Token
Opgave Autorisatiecode/Token
Om een domeinnaam naar ons te verhuizen, dient u de autorisatiecode op te geven welke u kunt verkrijgen bij uw oude provider/registrar. De autorisatiecode wortdt ook wel genoemd TOKEN, AUTH.CODE OF EPP-KEY.
Hieronder kunt u per domeinnaam de autorisatie code opgeven. Zodra wij de code van u hebben ontvangen wordt de verhuizing ingezet. Zodra de domeinnaam is verhuid, ontvangt u van ons een bevestiging.
Om een domeinnaam naar ons te verhuizen, dient u de autorisatiecode op te geven welke u kunt verkrijgen bij uw oude provider/registrar. De autorisatiecode wortdt ook wel genoemd TOKEN, AUTH.CODE OF EPP-KEY.
Hieronder kunt u per domeinnaam de autorisatie code opgeven. Zodra wij de code van u hebben ontvangen wordt de verhuizing ingezet. Zodra de domeinnaam is verhuid, ontvangt u van ons een bevestiging.
woensdag 16 augustus 2017
Git merge
Make a git merge on the command line in your local repository.
Upload the change to the remote repository on github
Delete the github branch online with git push origin :branch-name
Upload the change to the remote repository on github
Delete the github branch online with git push origin :branch-name
Making a branch in git, edit file and then commit to github
1. Move to the local repository on your harddisk
2. git checkout -b muis (je hebt nu twee dingen gedaan: een nieuwe branch gemaakt en daarnaar toe gegaan.
3. git push muis (dit zal de branch "uploaden" naar github)
4. vim probeersel.txt
5. git status om te zien of je nog in de juiste repository bent.
6. git add probeersel.txt
7. git commit -m "something" probeersel.txt
8 git push origin muis
2. git checkout -b muis (je hebt nu twee dingen gedaan: een nieuwe branch gemaakt en daarnaar toe gegaan.
3. git push muis (dit zal de branch "uploaden" naar github)
4. vim probeersel.txt
5. git status om te zien of je nog in de juiste repository bent.
6. git add probeersel.txt
7. git commit -m "something" probeersel.txt
8 git push origin muis
maandag 14 augustus 2017
Making a new repository on github
When you make a new repository on Github (with Readme file) you have to:
1. Clone it to your harddisk: git clone .... .git
2. Add your new files to this repository
3. Add your changes: git add
4. Commit your changes: git commit -m "begin" file.
5. and then: git push origin master
1. Clone it to your harddisk: git clone .... .git
2. Add your new files to this repository
3. Add your changes: git add
4. Commit your changes: git commit -m "begin" file.
5. and then: git push origin master
Abonneren op:
Posts (Atom)