I have written a very short Python program which takes values from comments on the first 5 lines of an Arduino sketch and creates and executes the necessary arduino command line. The Python script is called from Geany which passes the path and filename of the sketch to it. Initial tests are positive.