2017-03-23 22:42:54 +00:00
|
|
|
function source_synced
|
2015-11-07 19:30:58 +00:00
|
|
|
# Sources a config file and corresponding local config file if it exists
|
2017-03-23 22:42:54 +00:00
|
|
|
set -l shared_config "$fish_synced_dir/$argv[1].fish"
|
|
|
|
set -l local_config "$fish_synced_dir/$argv[1].local.fish"
|
2015-11-07 19:30:58 +00:00
|
|
|
if test -f "$shared_config"
|
|
|
|
source "$shared_config"
|
|
|
|
end
|
|
|
|
if test -f "$local_config"
|
|
|
|
source "$local_config"
|
|
|
|
end
|
|
|
|
end
|