Or the third and most portable way: #!/usr/bin/env bash
On Wednesday, September 12, 2012 4:22:32 AM UTC+1, Stephen Montgomery-Smith wrote: > > Unfortunately in FreeBSD, this has to be one of: > > #!/usr/local/bin/bash > or > #!/bin/sh > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel?hl=en.
