#get and convert GPS data from Raspberry Pi GPS dump

#latitude and longitude

#get example file

wget "https://pastebin.com/raw/UFTHkZJz" -O gps.log

#get latitude and longitude for use with Google Maps

grep ',N,' gps.log|\
grep ',W,'|\
cut -d\, -f4,6|\
grep ',08'|\
sed "s/./& /2"|\
sed "s/./& /14"|\
while read l;
do 
  echo "${l}0'"|\
  sed "s/,0/0',-/g";
done