Skip to main content

Browse the archive

https://github.com/HazyResearch/deepdive
05 April 2024, 21:20:03 UTC
Revision 57fa6e3622728be85727b5aa99c0727889e6dc89 authored by Raphael Hoffmann on 30 December 2015, 01:40:52 UTC, committed by Raphael Hoffmann on 31 December 2015, 01:22:09 UTC 
Adds schema support
1 parent e86bd69
Raw File
Tip revision: 57fa6e3622728be85727b5aa99c0727889e6dc89 authored by Raphael Hoffmann on 30 December 2015, 01:40:52 UTC
Adds schema support
Tip revision: 57fa6e3
deepdive-whereis 
#!/usr/bin/env bash
# deepdive-whereis -- Prints paths to files in DeepDive's installation
# > deepdive whereis FILE...
##
set -eu

for f; do
    [[ -e "$DEEPDIVE_HOME/$f" ]] ||
        error "$f: No such file in DeepDive installation"
    echo "$DEEPDIVE_HOME/$f"
done
back to top