#!/bin/bash
# set the xterm window title
TERMTITLE="man 4 console_ioctl"
echo -ne "\\033]0;${TERMTITLE}\\007"
man 4 console_ioctl