SmartGit
difference
#migrated

SmartGit > Discard | Remove | Delete

動作環境
Windows 7 Pro (32bit)
SmartGit Version 17.0.4 #10132

SmartGitを試用中。

Filesペインにおいて右クリックした時のメニューのうち、以下のものがある。

  • Discard
  • Remove
  • Delete

各種説明はこちら
http://www.syntevo.com/doc/display/SG/Local+Operations+on+the+Working+Tree

2011年の情報だが、RemoveとDeleteの違いは以下が簡潔だ。
http://smartgit.3668570.n2.nabble.com/Remove-and-delete-td5898706.html

Delete is for physical deleting the file (rm ). Remove is for making unversioned (git rm ). What names do you suggest?