VirtualTam's bookmarks
6 bookmarks found
Page 1 of 1
-
- awk: https://www.gnu.org/software/gawk/manual/html_node/Bracket-Expressions.html
- grep: https://www.gnu.org/software/grep/manual/html_node/Character-Classes-and-Bracket-Expressions.html
- sed: https://www.gnu.org/software/sed/manual/html_node/Character-Classes-and-Bracket-Expressions.html
- tr: https://man7.org/linux/man-pages/man1/tr.1p.html
-
-
Context: replace spaces by dashes in a script-generated HTML file's links
1awk -F\' 'm = /a href/ { gsub(/ /,'-',$2); print$1'\''$2'\''$3} !m {print $0}' -
Bash: test if a file needs to be downloaded
2014-04-09 1#!/bin/bash 2# Check if a file needs to be downloaded 3# Useful iff there is no checksum available to check a local file 4url=http://test-url.com 5 6dl=1 7if [[ -f $file_path ]]; then 8 local_size=$(ls -l $file_path | awk '{print $5}') 9 remote_size=$(wget --spider $url 2>&1 | awk '/Length/ {print $2}') 10 11 if [[ $local_size -eq $remote_size ]]; then 12 echo "The file was previously downloaded" 13 dl=0 14 else 15 echo "Corrupted file found, re-downloading..." 16 rm -f $file_path 17 fi 18else 19 echo "Downloading file..." 20fi 21 22[[ $dl -eq 1 ]] && wget $url -O $file_path -
aka "Cavemen sysadmins"
Page 1 of 1