What is version control? Most jargons in Git have "literal" meanings.
- pull, commit, push
- worktree
- branch, pull request, merge, comments
// On Ubuntu Linux mimic MacOS keybindings on Logitech MX Keys | |
// where the layout is slightly different to incorporate both MacOS and Linux into one keyboard | |
// after customized key mapping: ctrl is mapped to alt; alt is mapped to win; (meta is mapped to ctrl) | |
// in /etc/default/keyboard: XKBOPTIONS="altwin:ctrl_alt_win" | |
// | |
[ | |
{ | |
"key": "ctrl+left", | |
"command": "cursorHome", | |
"when": "textInputFocus" |
#ifndef NEURALNET_NNINTERFACE_H_ | |
#define NEURALNET_NNINTERFACE_H_ | |
#include "../core/global.h" | |
#include "../core/commontypes.h" | |
#include "../core/hash.h" | |
#include "../core/logger.h" | |
#include "../neuralnet/desc.h" | |
#include "../neuralnet/nninputs.h" |
Mainly following Alexandre Rademaker's guide.
source
branch, where we write things with a custom plugin.git checkout source
commit
and push
the changesgit clean -xfd
git submodule foreach --recursive git clean -xfd
git reset --hard
git submodule foreach --recursive git reset --hard
git submodule update --init --recursive
{ | |
"[bibtex]": { | |
"editor.autoIndent": "none", | |
"editor.fontFamily": "Fira Code Medium", | |
"editor.fontLigatures": false, | |
"editor.formatOnPaste": false, | |
"editor.suggestSelection": "recentlyUsedByPrefix" | |
}, | |
"[latex]": { | |
"editor.autoIndent": "none", |