The wget command can download a file from a url. E.g., from a directory in your Linux account, type:

        wget http://csapp.cs.cmu.edu/public/ics2/code/ecf/signal1.c
     

Now can you compile and run it?