#954: Rename configure scripts to "configure.sh" -----------------------------------+---------------------------------------- Reporter: eschnett | Owner: Type: enhancement | Status: new Priority: minor | Milestone: Component: EinsteinToolkit thorn | Version: Keywords: | -----------------------------------+---------------------------------------- Each thorn in ExternalLibraries has a script that configures it. For historic reasons these scripts all have different names. I propose to rename them all to "configure.*", where the suffix denotes the language (e.g. sh or pl).