Propeller HAT: Deploying Code from Raspberry Pi Terminal

I’m trying to use the Propeller HAT for Raspberry Pi to control servo motors.

I want to use the Propeller PST Terminal to take-in a user inputted servo position.

Since PropellerIDE on Rasberry Pi doesn’t actually deploy code at ‘run’, rather just compiles it, and I have to run the binary version of the code via propman in the Raspberry Pi Terminal, how am I able to use the PST Terminal? Is this possible?

Thanks very much for your help.