#!/bin/bash
[ -n "$1" ] || . usage 'server:file'
server=${1%%:*}
file=${1#*:}
sshc "$server": wc -c "$file" | sed 's/ .*//'
