https://github.com/sarcasm/notes
My notebook, to share things that interest me
https://github.com/sarcasm/notes
Last synced: 9 months ago
JSON representation
My notebook, to share things that interest me
- Host: GitHub
- URL: https://github.com/sarcasm/notes
- Owner: Sarcasm
- Created: 2016-07-27T21:26:39.000Z (almost 10 years ago)
- Default Branch: master
- Last Pushed: 2023-08-23T19:58:49.000Z (almost 3 years ago)
- Last Synced: 2025-02-28T10:57:35.497Z (over 1 year ago)
- Language: Makefile
- Homepage: http://sarcasm.github.io/notes/
- Size: 934 KB
- Stars: 25
- Watchers: 3
- Forks: 7
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Notes
These are some notes I want to keep around.
# Setup
```
git clone git@github.com:Sarcasm/notes.git
cd notes
git fetch origin gh-pages
git checkout gh-pages
git checkout master
git worktree add --checkout _pages gh-pages
# configure `git push` to push both branches
git config remote.origin.push refs/heads/master:refs/heads/master
git config --add remote.origin.push refs/heads/gh-pages:refs/heads/gh-pages
```
# Publish changes
After a change has been committed to the main branch, it's possible to publish
using this procedure:
```
make _pages
./commit-pages.sh
git push
```