Wiki cheat sheet - fordsfords/fordsfords.github.io GitHub Wiki

Table of contents

• Table of contents
• Edit Mode
• New Pages
• Local Editing
• Github Desktop broken
• Useful Resources

Edit Mode

In an earlier version of this page, I was using MediaWiki edit mode. But I've since moved away from it in favor of markdown. Why?

  1. I need to know markdown anyway for readme files, so using MediaWiki here doesn't decrease my cognitive load. If anything it keeps me in practice.
  2. The MediaWiki emulator had problems. I had them listed here, but I discovered another one that pushed me over the edge.

I'll miss the automatic table of contents generator, but mdtoc is OK.

New Pages

There is a "New Page" button. Or can use the "make link to it first and click it" method.

Local Editing

cd ~/Documents/GitHub
git clone https://github.com/fordsfords/fordsfords.github.io.wiki.git

Make changes.

git add .
git commit -m "message"
git push

If you omit the '-m "message"' then it will pop you in an editor.

To update with changes made from the web interface:

git pull

Github Desktop broken

Contrary to the doc, wiki's cannot be "cloned in desktop". But I was able to paste "x-github-client://openRepo/https://github.com/fordsfords/fordsfords.github.io.wiki" into the browser address bar and it seemed to work. But it didn't "fix" any of the issues below. The desktop app still needs to be de-focused and re-focused to refresh the screen and the repo still ends up in "other". Maybe the "clone in desktop" is disabled until the desktop is fixed?

  • Enter:
  cd ~/Documents/GitHub
  git clone https://github.com/fordsfords/fordsfords.github.io.wiki.git
  • Start github desktop and use "Add local repository".
  • Click "fetch". It doesn't say it is fetched.
  • Click some other application, then github desktop. That refreshes the screen. Now it says it is fetched. It still seems different -- when I show the list of local repos, it lists it under "other" instead of "fordsfords". I peeked in the .git directory and config to another repo and nothing looked different.

There is definitely a bug in github desktop. When I modify a file and push it to the local repo and then push to origin, it doesn't say it did it. It looks like it didn't push it. But when I go on the web, the changes are there. Then when I re-focus the github desktop window, it updates to say no local changes.

In fact, pretty much any action that interacts with the GitHub server doesn't happen until you defocus-refocus.

Even worse: if exit the desktop app and re-enter, it forgets information about the repo and you can't push to it any more.

Useful Resources