2023-05-01 19:23:31 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
2023-05-04 18:24:41 +02:00
|
|
|
# Remove leading whitespace and comments starting with //
|
|
|
|
|
sed -e 's/^[[:space:]]*//' -e '/^\/\/.*/d' $1 |
|
|
|
|
|
# Remove one line comments starting with //
|
|
|
|
|
sed -e 's/^\/\/.*$//' |
|
|
|
|
|
# Remove trailing comments starting with //
|
|
|
|
|
sed -e 's/ \/\/.*$//' |
|
|
|
|
|
# Remove empty lines
|
|
|
|
|
sed '/^\s*$/d'
|
