#!/bin/sh
# $Id: pfrom.in 1073 2021-06-27 05:01:23Z  $
libexecdir=%libexecdir%
PATH=$libexecdir:$PATH
export PATH
push --from $*