diff --git a/src/script/webgraph_ranking/graph_explore_build_vertex_map.sh b/src/script/webgraph_ranking/graph_explore_build_vertex_map.sh index c490b23..c38e358 100755 --- a/src/script/webgraph_ranking/graph_explore_build_vertex_map.sh +++ b/src/script/webgraph_ranking/graph_explore_build_vertex_map.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # Build node indexes to interactively explore a Common Crawl webgraph. # The webgraph files are expected to be placed in the current directory. diff --git a/src/script/webgraph_ranking/graph_explore_download_webgraph.sh b/src/script/webgraph_ranking/graph_explore_download_webgraph.sh index 83aeb2a..abf192b 100755 --- a/src/script/webgraph_ranking/graph_explore_download_webgraph.sh +++ b/src/script/webgraph_ranking/graph_explore_download_webgraph.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash NAME="$1" if ! shift 1; then