Useful development tooling

This page lists some software we consider useful.

Browser plugins

• Refined GitHub - GitHub on steroids
• GitHub Issue Link Status - proper coloring of linked issues and PRs.
• Codecov Browser Extension - displaying code coverage directly when browsing GitHub
• Sourcegraph Browser Extension - Navigate through source on github

git hints

Here, we collect some helpful git hints

• https://github.com/blog/2019-how-to-undo-almost-anything-with-git
• https://github.com/RichardLitt/docs/blob/master/amending-a-commit-guide.md
• awesome hints and tools regarding git: https://github.com/dictcp/awesome-git

Rebase everything as one commit on master

• Precondition: JabRef/jabref is configured as upstream.
• Fetch recent commits and prune non-existing branches: git fetch upstream --prune
• Merge recent commits: git merge upstream/master
• If there are conflicts, resolve them
• Reset index to upstream/master: git reset upstream/master
• Review the changes and create a new commit using git gui: git gui&
• Do a force push: git push -f origin

See also: https://help.github.com/articles/syncing-a-fork/

Tooling for Windows

(As Administrator - one time)

1. Install chocolatey
2. choco install git
3. choco install conemu clink
4. choco install notepadplusplus
5. If you want to have your jdk also managed via chocolatey: choco install jdk8

Then, each weak do choco upgrade all to ensure all tooling is uptodate.

General git tooling on Windows

• Use git for windows, no additional git tooling required
• Git Credential Manager for Windows is included. Ensure that you include that in the installation. Aim: Store password for GitHub permanently for https repository locations
• Use notepad++ as editor for git rebase -i

Better console applications

ConEmu plus clink

• ConEmu -> Preview Version - Aim: Colorful console with tabs
• At first start:
  • "Choose your startup task ...": `{Bash::Git bash}}
  • OK
  • Upper right corner: "Settings..." (third entrry Eintrag)
  • Startup/Tasks: Choose task no. 7 ("Bash::Git bash"). At "Task parameters" /dir C:\git-repositories\jabref\jabref
  • Save Settings
• clink - Aim: Unix keys (Alt+B, Ctrl+S, etc.) also available at the prompt of cmd.exe

Other bundles

• Cmder - bundles ConEmu plus clink

Tools for working with XMP

• Validate XMP: https://www.pdflib.com/pdf-knowledge-base/xmp/free-xmp-validator/

Some useful keyboard shortcuts

• AutoHotkey - Preparation for the next step
• https://github.com/koppor/autohotkey-scripts - Aim: Have Win+C opening ConEmu
• Clone the repository locally.
• Then link ConEmu.ahk and WindowsExplorer.ahk at the startup menu (Link creation works with drag'n'drop using the right mouse key and then choosing "Create link" when dropping). Hint: Startup is in the folder Startup (German: Autostart) at %APPDATA%\Microsoft\Windows\Start Menu\Programs\ - accessible via Win+r: shell:startup