OK. I have figured out how to run plenv from a cron to run plerd, like this:
PLERD_HOME=_path_to_plerd_src * * * * * /path/to/plerd_pub.sh
Where plerd_pub.sh is:
#!/bin/bash -l PLERD_HOME=/home/jjohn/src/plerd_taskboy3000 cd $PLERD_HOME && ./bin/plerdcmd -P
Clunky, I know. Worth it for me, since plenv offers crazy flexibility.
Also, the source file name from bear isn’t going to be a problem.