Skip to content
Snippets Groups Projects
Commit c2813fcf authored by Andreas Schärtl's avatar Andreas Schärtl
Browse files

fork xz-to-gz script

parent 1203f478
No related branches found
No related tags found
No related merge requests found
#! /bin/sh
set -eu
# prepare DIRECTORY for import w/ the graphdb web
# interface; this is for our prototype, I can't imagine
# we'll use the web interface in production
#
# this script is a fork of xz-to-gz.sh, found in the
# same directory
if [ ! $# -eq 1 ]; then
echo "usage: $0 DIRECTORY" 1>&2
exit 1
fi
directory="$1"
files=$(find "$directory" -name "*.xz")
for file in $files; do
echo "$file" 1>&2
# the filename of the extracted (uncompressed) file
rdf_file=$(echo "$file" | sed 's/\.xz//')
# uncompress, fix iris, compress again
unxz "$file"
sed -i 's/|/%7C/g' "$file"
gzip "$rdf_file"
done
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment