Skip to content

pragma-git/pragma-git

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Pragma-git

 

Pragma-git is a friendly pragmatic git control app, fully compatible with other git client softwares.

 

The aim with Pragma-git is to be

  • ”pragmatic” — aiming to be the opposite to how many beginners perceive git

  • easy to start — and something to grow in for daily programming tasks

  • friendly — guiding you through risks of data loss with pop-up warnings and instructions

 

Differences to other git clients

  • small window — no need hiding other apps

  • easy overview of project state

  • show buttons only when applicable — less confusion

  • use built-in or external diff and merge tools — use your favourite

  • note taking — todo lists and notes at your finger tips

 

Screen shot

Example screen shot with all the functions enabled (most of the time many of these icons will be hidden, and they are shown only when meaningful) :

Features

  • Easy overview of current repository, branch and number of changed files

  • Dash-board small screen estate, fits on screen with other softwares

  • Drag-and-drop to create or add repository

  • Note-taking, wysiwyg or markdown, with todo lists etc

  • Auto-push to remote repository (can be disabled in settings)

  • Auto-fetch, and indication if if pull is possible

  • Standard git features, such as branch, merge, push, pull, tag, stash

  • History browser

  • Builtin pragma-merge diff and merge tool (external tool may be used instead)

  • Settings, handling repository, branches, remotes, cloning as well as software preferences

  • Fully git compatible, try it, and use together with other clients

 

 

Installation

  • Windows / Mac — download and run installer

  • Linux — download deb or rpm installer. Try to double-click and run.
    If that is not allowed :

    • Ubuntu, Linux Mint, etc (deb-format) :
      sudo dpkg --install INSTALLATION_FILE

    • RedHat, CentOS, Fedora etc (rpm-format) :
      sudo yum localinstall INSTALLATION_FILE