Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
25 changes: 25 additions & 0 deletions bin/emrg
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
#!/usr/bin/env bash
# EMRG launcher — installed at ~/.emrg/install/bin/emrg
#
# Phase 4 installer (rant #12) §2:
# - R71/R84: BASH_SOURCE may be a symlink; resolve in a loop, joining each
# relative target against the CURRENT source's dirname (multi-level
# relative chains otherwise resolve wrongly).
# - R13: PYTHONPATH must include $PREFIX/source (parent of the emrg package).
# - R61: source/ is read-only — never write __pycache__ (zero-write acceptance).
# - PATH injection makes bundled python/git/gh visible to child processes
# (session-scoped python scripts key, §7).
SOURCE="${BASH_SOURCE[0]}"
while [ -L "$SOURCE" ]; do
TARGET="$(readlink "$SOURCE")"
case "$TARGET" in
/*) SOURCE="$TARGET" ;;
*) SOURCE="$(dirname "$SOURCE")/$TARGET" ;;
esac
done
DIR="$(cd "$(dirname "$SOURCE")" && pwd)"
PREFIX="$(dirname "$DIR")"
export PATH="$DIR:$PATH"
export PYTHONPATH="$PREFIX/source:$PREFIX/lib:$PYTHONPATH"
export PYTHONDONTWRITEBYTECODE=1
exec "$DIR/python" -m emrg "$@"
14 changes: 14 additions & 0 deletions bin/emrg.cmd
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
@echo off
REM EMRG launcher — installed at %USERPROFILE%\.emrg\install\bin\emrg.cmd
REM Phase 4 installer (rant #12) §2:
REM - R60: Windows git lives in install\git\ — PATH needs git\cmd + git\mingw64\bin.
REM - R35: %~dp0 under a .lnk shortcut resolves to the .cmd's real location.
REM - R13: PYTHONPATH includes source\ (parent of the emrg package).
REM - R61: source\ is read-only — PYTHONDONTWRITEBYTECODE (zero-write acceptance).
set SOURCE=%~dp0
set DIR=%SOURCE:~0,-1%
set PREFIX=%DIR%\..
set PATH=%DIR%;%PREFIX%\git\cmd;%PREFIX%\git\mingw64\bin;%PATH%
set PYTHONPATH=%PREFIX%\source;%PREFIX%\lib;%PYTHONPATH%
set PYTHONDONTWRITEBYTECODE=1
"%DIR%\python.exe" -m emrg %*
19 changes: 19 additions & 0 deletions bin/emrgd
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
#!/usr/bin/env bash
# EMRG daemon launcher — installed at ~/.emrg/install/bin/emrgd
#
# Phase 4 installer (rant #12) §2 — same structure as bin/emrg; entry is the
# server package. See bin/emrg header for R71/R84/R13/R61 rationale.
SOURCE="${BASH_SOURCE[0]}"
while [ -L "$SOURCE" ]; do
TARGET="$(readlink "$SOURCE")"
case "$TARGET" in
/*) SOURCE="$TARGET" ;;
*) SOURCE="$(dirname "$SOURCE")/$TARGET" ;;
esac
done
DIR="$(cd "$(dirname "$SOURCE")" && pwd)"
PREFIX="$(dirname "$DIR")"
export PATH="$DIR:$PATH"
export PYTHONPATH="$PREFIX/source:$PREFIX/lib:$PYTHONPATH"
export PYTHONDONTWRITEBYTECODE=1
exec "$DIR/python" -m emrg.server "$@"
11 changes: 11 additions & 0 deletions bin/emrgd.cmd
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
@echo off
REM EMRG daemon launcher — installed at %USERPROFILE%\.emrg\install\bin\emrgd.cmd
REM Phase 4 installer (rant #12) §2 — same structure as bin\emrg.cmd; entry is
REM the server package. GUI main.js spawns this path (R36 shell:true, R66 windowsHide).
set SOURCE=%~dp0
set DIR=%SOURCE:~0,-1%
set PREFIX=%DIR%\..
set PATH=%DIR%;%PREFIX%\git\cmd;%PREFIX%\git\mingw64\bin;%PATH%
set PYTHONPATH=%PREFIX%\source;%PREFIX%\lib;%PYTHONPATH%
set PYTHONDONTWRITEBYTECODE=1
"%DIR%\python.exe" -m emrg.server %*
Loading