#!/bin/bash
set -e
pipetty "$@" | less -R
exit ${PIPESTATUS[0]}
