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

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