582/type_check.sh at master · mfekadu/582 · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
#!/bin/bash

# e.g., "/Users/{USERNAME}/.local/share/virtualenvs/582-03ms5r62"
pipenv_location=$(pipenv --venv)

# e.g., "Python 3.6.8"
pipenv_python_version=$(pipenv run python --version)

# echo $pipenv_python_version

python_version_folder=$(
    echo $pipenv_python_version |    # Python 3.6.8 >>>
        tr '[:upper:]' '[:lower:]' | # python 3.6.8 >>>
        tr -d "[:space:]" |          # python3.6.8  >>>
        grep -o "\w*\d\.\d"          # python3.6
)

# echo $python_version_folder

site_packages_path="$pipenv_location/lib/$python_version_folder/site-packages/"

# echo $site_packages_path

echo
echo "
pyre \
    --hide-parse-errors \
    --search-path \
    $site_packages_path \
    --source-directory \
    . \
    check
"
echo
echo

pyre \
    --hide-parse-errors \
    --search-path \
    $site_packages_path \
    --source-directory \
    . \
    check