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
• So you need to change your commit
• awesome hints and tools regarding git: https://github.com/dictcp/awesome-git

Rebase everything as one commit on main

• 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/main
• If there are conflicts, resolve them
• Reset index to upstream/main: git reset upstream/main
• 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.install -y --params "/GitAndUnixToolsOnPath /WindowsTerminal
3. choco install notepadplusplus
4. If you want to have your JDK also managed via chocolatey: choco install temurin

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

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

• choco install conemu 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
  1. Clone the repository locally.
  2. 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

---