[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.
regards,
bvk.chaitanya
shell-expansion.patch
Description: Text Data
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- Re: [PATCH] GRUB script shell expansion for *,
BVK Chaitanya <=