Unfortunately, currently there is no program to work with controller by ST-link under Linux.
So one can only write and build program but if there is need to flash some device, you need another operating system (Windows) or another flashware.
For developing programm under ARM (for us it`s cortex-m3) we need:

1. Eclipse for c/c++ developers;

2. ...

3. ...

to be continued...