fb5b83d10d5b1640fbd2035d5a7419cb5b25c32a

Author
Octavian Neamtu <octavian.neamtu@annkissam.com>
Committer
ncanceill <nicolas.canceill@ens-cachan.org>
Date

Message

Fixed jump pluging to display the right mark name on 'mark . '

Diff

 1diff --git a/plugins/jump/jump.plugin.zsh b/plugins/jump/jump.plugin.zsh
 2index d082c11e54280c392846ef8800545ef9d01a0644..e58e7373dec677429dd1f4af43ae8a7368a56c9d 100644
 3--- a/plugins/jump/jump.plugin.zsh
 4+++ b/plugins/jump/jump.plugin.zsh
 5@@ -13,7 +13,7 @@ jump() {
 6 }
 7 
 8 mark() {
 9-	if (( $# == 0 )); then
10+	if [[ ( $# == 0 ) || ( "$1" == "." ) ]]; then
11 		MARK=$(basename "$PWD")
12 	else
13 		MARK="$1"