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

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

Better console applications

    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
Last modified 5mo ago