blob: d3f8c4b425a1e1d5124aea797c540330fcc977c7 (
plain)
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
|
#!/bin/zsh
source log.sh "setup/device.zsh"
#-- <os_init> --
platform="$(platform.sh)"
platform_setup="$ZDOTDIR/$platform"
init_platform="$platform_setup/init.zsh"
if [ ! -d "$platform_setup" ]; then
log ERROR "misconfigured platform $platform: $platform_setup is not a directory"
exit 1
fi
if [ -e "$init_platform" ]; then
log DEBUG "executing $init_platform"
. "$init_platform"
else
log DEBUG "no platform-specific init for $platform at $init_platform"
fi
#-- </os_init> --
#-- <machine_init> --
machine="$(system_name.sh)"
machine_init="$platform_setup/$machine.zsh"
if [ -e "$machine_init" ]; then
log DEBUG "executing $platform.$machine $machine_init"
. "$machine_init"
else
log WARN "no machine-specific init for $platform.$machine at $machine_init"
fi
#-- </machine_init> --
|
