#!/bin/bash # Bold BBlack='\e[1;30m' # Nero BRed='\e[1;31m' # Rosso BGreen='\e[1;32m' # Verde BYellow='\e[1;33m' # Giallo BBlue='\e[1;34m' # Blu BPurple='\e[1;35m' # Viola BCyan='\e[1;36m' # Ciano BWhite='\e[1;37m' # Bianco Color_Off='\e[0m' # Text Reset reset_console="\E[37;40m" #biancoBold echo -e $BRed'PROGRAMMA shell PER TRASFORMAZIONE file HTML con aggiunta di tabulazioni righe per codice da visualizzare in HTML' if [[ "$1" == "" ]]; then echo -e $BWhite'Nome file coodice HTML? '$BYellow read subtitoli else subtitoli=$1 fi #costruzione nome output #----------------------- titolipos=`expr index "${subtitoli}" "."` titolipos=$(( $titolipos-1 )) nuovoct=${subtitoli:0:$titolipos} estensione="_code.html" output=$nuovoct$estensione echo ' '$output' ' > $output linea=1 echo -e $BBlue"#--------------------------- "$BYellow$linea")" while read line || [ -n "$line" ] ; do if [[ "$linea" -ge "11" ]] ; then n=$(($linea-10)) echo '' >> $output echo -e $BBlue$n')'$BYellow'
 R.   Codice
'$n''$line'
'$n$line fi linea=$(($linea+1)) done < $subtitoli echo '
' >> $output rm $subtitoli mv $output $subtitoli exit 0