zsh-users
 help / color / mirror / code / Atom feed
* setopt: no such option: GLOB_STARSHOR
@ 2017-06-24 11:13 zzapper
  2017-06-24 11:29 ` 5.3.1:setopt: no such option: GLOB_STARSHORT zzapper
  2017-06-25  8:21 ` zzapper
  0 siblings, 2 replies; 5+ messages in thread
From: zzapper @ 2017-06-24 11:13 UTC (permalink / raw)
  To: zsh-users

Hi
I have been upgrading my various pcs to 5.3.1

cygwin, centos no problem I have GLOB_STARSHORT

but on mint setopt: no such option: GLOB_STARSHORT

how is this possible?

zzapper


^ permalink raw reply	[flat|nested] 5+ messages in thread

end of thread, other threads:[~2017-06-30 15:04 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-06-24 11:13 setopt: no such option: GLOB_STARSHOR zzapper
2017-06-24 11:29 ` 5.3.1:setopt: no such option: GLOB_STARSHORT zzapper
2017-06-24 15:06   ` setopt: no such option: GLOB_STARSHOR Bart Schaefer
2017-06-30 15:04     ` zzapper
2017-06-25  8:21 ` zzapper

Code repositories for project(s) associated with this public inbox

	https://git.vuxu.org/mirror/zsh/

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).