#!/bin/bash
[ -n "$2" ] || . usage 'server:file offset [file [offset [len]]]'
server=${1%%:*}
file_remote=${1#*:}
offset_remote=$2
file_local=${3:-`basename "$file_remote"`}
offset_local=${4:-$offset_remote}
len=$5

sshc "$server": file-block-gzip "$file_remote" "$offset_remote" $len |
gunzip -c |
file-insert "$file_local" "$offset_local"