import terminal

echo "Terminal width: " & $terminalWidth()
echo "Terminal height: " & $terminalHeight()