settings for terminal + sexp