terminal clipboard functions