Moved to NV/tab_character_size
Tab size UserJS
8 spaces for the tab character is too many. I'd prefer 2.
Supported browsers: Firefox, Google Chrome, Opera, and Safari.
beforeafter| #!/bin/bash | |
| # Note: you might prefer latexmk -c since latexmk is great. It doesn't clean all of these, but see | |
| # https://tex.stackexchange.com/questions/83341/clean-bbl-files-with-latexmk-c/83386#83386 | |
| exts=".aux .lof .log .lot .fls .out .toc .dvi .bbl .bbl-SAVE-ERROR .bcf .bcf-SAVE-ERROR .blg -blx.aux -blx.bib -blx.bib .run.xml .fdb_latexmk .synctex.gz .syntex.gz(busy) .pdfsync .algorithms .alg .loa .thm .nav .snm .vrb .acn .acr .glg .glo .gls .brf .lol .idx .ilg .ind .ist .maf .mtc .mtc0 .pyg .nlo .tdo .xdy .keys" | |
| for x in "${@:-.}"; do | |
| arg=$(echo ${x:-.} | perl -pe 's/\.(tex|pdf)$//') |
8 spaces for the tab character is too many. I'd prefer 2.
Supported browsers: Firefox, Google Chrome, Opera, and Safari.
beforeafter| [user] | |
| name = MY_NAME | |
| email = MY_EMAIL_ADDRESS | |
| [git-tmbundle] | |
| gitnub-path = /Applications/GitNub.app | |
| gitx-path = /Applications/GitX.app | |
| show-diff-check = yes | |
| [github] | |
| user = GITUB_USER | |
| token = GITHUB_TOKEN |
Setup GitHub Pages "gh-pages" branch as a subfolder within the "master" project on your local checkout.
If you plan on switching between different branches (e.g. git checkout master-experiment
then revert back with git checkout master) you will loose your child folder from this tutorial (because it's in your
.gitignore and is not part of your master branch).
| if (!String.toRegExp) | |
| String.toRegExp = function String_toRegExp(pattern, flags) { | |
| return new RegExp(pattern.replace(/[\[\]\\{}()+*?.$^|]/g, function (match) { return '\\' + match; }), flags); | |
| }; |
git clone [email protected]:YOUR-USERNAME/YOUR-FORKED-REPO.git
cd into/cloned/fork-repo
git remote add upstream git://github.com/ORIGINAL-DEV-USERNAME/REPO-YOU-FORKED-FROM.git
git fetch upstream
| GET POST /gists | |
| GET /gists/public | |
| GET /gists/starred | |
| GET PATCH DELETE /gists/:id | |
| GET /gists/:gist_id/comments | |
| PUT /gists/:id/star | |
| POST /gists/:id/fork | |
| [ | |
| { "keys": ["ctrl+pagedown"], "command": "next_view" }, | |
| { "keys": ["ctrl+pageup"], "command": "prev_view" } | |
| ] |