summaryrefslogtreecommitdiffstats
path: root/EFI/BOOT/tools.cfg
diff options
context:
space:
mode:
Diffstat (limited to 'EFI/BOOT/tools.cfg')
-rw-r--r--EFI/BOOT/tools.cfg43
1 files changed, 0 insertions, 43 deletions
diff --git a/EFI/BOOT/tools.cfg b/EFI/BOOT/tools.cfg
deleted file mode 100644
index 22675b2..0000000
--- a/EFI/BOOT/tools.cfg
+++ /dev/null
@@ -1,43 +0,0 @@
-# This file is part of Super GRUB2 Disk.
-#
-# Copyright (C) 2013 Adrian Gibanel
-#
-# Super GRUB2 Disk is free software: you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation, either version 3 of the License, or
-# (at your option) any later version.
-#
-# Super GRUB2 Disk is distributed in the hope that it will be useful,
-# but WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-# GNU General Public License for more details.
-
-# This script contains several helper functions used in other cfg files .
-
-
-
-# Function: searchindevice
-# According to global variables
-# Return 0 (true) if the device should be searched for OS / cfgs / etc.
-# Return 1 (false) if it should not be searched
-#
-# Device should be entered without ()
-# Input example: fd0
-#
-# TODO: To be simplified when test function is fixed in upstream GRUB2
-function searchindevice {
-
- set device=$1
-
- if [ '(' "$device" != "fd0" -a "$device" != "cd" ')' \
- -o \
- '(' "$device" = "fd0" -a "$fd0search" = "yes" ')' \
- -o \
- '(' "$device" = "cd" -a "$cdsearch" = "yes" ')' ] \
- ; then
- return 0;
- else
- return 1;
- fi
-
-}