publish command line shell through AJAX interface