1 /* configfile.c - command to manually load config file */
3 * GRUB -- GRand Unified Bootloader
4 * Copyright (C) 2005,2006,2007,2009 Free Software Foundation, Inc.
6 * GRUB is free software: you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation, either version 3 of the License, or
9 * (at your option) any later version.
11 * GRUB is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 * GNU General Public License for more details.
16 * You should have received a copy of the GNU General Public License
17 * along with GRUB. If not, see <http://www.gnu.org/licenses/>.
21 #include <grub/term.h>
23 #include <grub/normal.h>
24 #include <grub/command.h>
27 grub_cmd_source (grub_command_t cmd
, int argc
, char **args
)
32 return grub_error (GRUB_ERR_BAD_ARGUMENT
, "file name required");
34 new_env
= (cmd
->name
[0] == 'c');
39 grub_env_context_open (1);
42 grub_normal_execute (args
[0], 1, ! new_env
);
45 grub_env_context_close ();
50 static grub_command_t cmd_configfile
, cmd_source
, cmd_dot
;
52 GRUB_MOD_INIT(configfile
)
55 grub_register_command ("configfile", grub_cmd_source
,
56 "configfile FILE", "Load another config file.");
58 grub_register_command ("source", grub_cmd_source
,
60 "Load another config file without changing context."
63 grub_register_command (".", grub_cmd_source
,
65 "Load another config file without changing context."
69 GRUB_MOD_FINI(configfile
)
71 grub_unregister_command (cmd_configfile
);
72 grub_unregister_command (cmd_source
);
73 grub_unregister_command (cmd_dot
);