mirror of
https://github.com/davatorium/rofi.git
synced 2024-11-03 04:23:42 -05:00
parent
306b8dcf93
commit
6c9a493b56
1 changed files with 5 additions and 0 deletions
|
@ -224,6 +224,11 @@ static char ** get_ssh ( unsigned int *length )
|
|||
continue;
|
||||
}
|
||||
|
||||
// If comment, skip from now on.
|
||||
if ( *token == '#' ) {
|
||||
break;
|
||||
}
|
||||
|
||||
// Is this host name already in the history file?
|
||||
// This is a nice little penalty, but doable? time will tell.
|
||||
// given num_favorites is max 25.
|
||||
|
|
Loading…
Reference in a new issue