 {alert_message} = require('alerts')
 async           = require('async')
 misc            = require('misc')
+diffsync        = require('diffsync')
 {filename_extension, defaults, required, to_json, from_json, trunc, keys, uuid} = misc
 {file_associations, Editor, local_storage} = require('editor')
 {scroll_top, human_readable_size}    = require('misc_page')

                    else
                        # the rgrep part
                        filename = line.slice(0,i)
                        #context  = trunc(line.slice(i+1), 25)
                        context = line.slice(i+1)
                        r = search_result.clone()
                        r.find("span").text(context)
                        r.find("a").text(filename).data(filename: path_prefix + filename).click () ->

            ins = " -i "
        else
            ins = ""
        query = '"' + query.replace(/"/g, '\\"') + '"'
        if recursive
            cmd = "find * -type f | grep #{ins} #{query}; rgrep -H #{ins} #{query} * "
        else
            cmd = "ls -1 | grep #{ins} #{query}; grep -H #{ins} #{query} * "

        # Exclude worksheet input cell markers
        cmd += " | grep -v #{diffsync.MARKERS.cell}"

        path = @current_pathname()

