wswsh: Remove external file support.

We gain 11 SLOC by removing an optional feature which shouldn't be included in the main script. The needed file(s) could be easily added via Makefile (or even an external script called with make). There was also a nasty "bug" when a file added via FIL, had the same extension specified in EXT. It was badly handled by INTERP. A specific find command could be written but once again this feature isn't the "core" of wswsh (vs LOC ratio). HTML files are still automatically managed, therefore you don't need to specify them somewhere (bump Alex).
Ypnose · Feb 25, 2015 · 2ba1281 · 2ba1281 · alexh-name · May 13, 2016
1 parent d9bae1c
commit 2ba1281
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 18 deletions.
diff --git a/wswsh b/wswsh
@@ -109,19 +109,6 @@ function gen_page {
 		cp -- "$LINEH" "dest/${LINEH#*/}"
 	done
 
-	# Test if the file exists. Then find it/them and copy it/them to dest (supports multiple files with same name).
-	if [[ -n $FIL ]]; then
-		for y in $FIL; do
-			if [[ -z $(find "src" -type f -name "$y") ]]; then
-				print -- "$y is missing"
-				continue
-			fi
-			find "src" -type f -name "$y" | while IFS=$'\n' read -r LINEF; do
-				cp "src/${LINEF#*/}" "dest/${LINEF#*/}"
-			done
-		done
-	fi
-
 	cd ..
 	TOT=$(find "${RAC}/dest" -type f | wc -l)
 	print "Generated $TOT files"

diff --git a/wswsh.conf.default b/wswsh.conf.default
@@ -48,8 +48,3 @@
 # DON'T FORGET THE TRAILING SLASH!
 # Default value (when FEED is enabled): dest/
 #RSSDIR=""
-
-# Files not handled by the generation.
-# Useful for robots.txt files for example.
-# Separate filename with spaces.
-#FIL=""