[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] GRUB script shell expansion for *

From: BVK Chaitanya
Subject: Re: [PATCH] GRUB script shell expansion for *
Date: Thu, 29 Jul 2010 20:23:37 +0530

Attached is an updated version for GRUB script expansion for wildcard
character '*'.  This feature is enabled only after "insmod regexp" and
hidden files (files starting with '.') are included in filename
expansion, except for "." and ".." names.


Attachment: shell-expansion.patch
Description: Text Data

reply via email to

[Prev in Thread] Current Thread [Next in Thread]