Skip to main content Link Menu Expand (external link) Document Search Copy Copied

Useful development tooling

This page lists some software we consider useful.

Browser plugins

git hints

Here, we collect some helpful git hints

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

Better console applications

  • 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