wrdg

class BashExecutor
{
    // fire and forget, method style execution
    static void ExecuteEnf(string code)
    {
        FileHandle file;

        MakeDirectory("$profile:Bash/"); // create directory for logging and execution purposes
        string script_path = string.Format("$profile:Bash/script_%1.c", GetDate());
        file = OpenFile(script_path, FileMode.WRITE);