execute_ggbash_builtins: execute ggbash builtins
Description
execute ggbash builtins
Usage
execute_ggbash_builtins(raw_input, argv, const)
Arguments
raw_input
A character of ggbash command chain (might contain pipes)
const
A list of ggbash constants
returned by {codedefine_ggbash_constants.