mirror of
https://github.com/openai/codex.git
synced 2026-04-28 02:11:08 +03:00
159 lines
4.4 KiB
Bash
Executable File
159 lines
4.4 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
set -euo pipefail
|
|
|
|
repo_root="$(cd "$(dirname "${BASH_SOURCE[0]}")/../.." && pwd)"
|
|
lint_path="$repo_root/tools/argument-comment-lint"
|
|
manifest_path="$repo_root/codex-rs/Cargo.toml"
|
|
release_manifest_url="https://github.com/openai/codex/releases/latest/download/argument-comment-lint"
|
|
cache_root="${XDG_CACHE_HOME:-$HOME/.cache}/codex/argument-comment-lint"
|
|
release_manifest_path="$cache_root/argument-comment-lint"
|
|
dotslash_cache_root="$cache_root/dotslash"
|
|
toolchain_channel="nightly-2025-09-18"
|
|
strict_lint="uncommented-anonymous-literal-argument"
|
|
noise_lint="unknown_lints"
|
|
|
|
has_manifest_path=false
|
|
has_package_selection=false
|
|
has_no_deps=false
|
|
has_library_selection=false
|
|
expect_value=""
|
|
|
|
try_release_runner() {
|
|
if [[ "${CODEX_ARGUMENT_COMMENT_LINT_USE_LOCAL:-0}" == "1" ]]; then
|
|
return 1
|
|
fi
|
|
if ! command -v dotslash >/dev/null 2>&1 || ! command -v curl >/dev/null 2>&1; then
|
|
return 1
|
|
fi
|
|
|
|
mkdir -p "$cache_root" "$dotslash_cache_root"
|
|
if [[ ! -f "$release_manifest_path" || "${CODEX_ARGUMENT_COMMENT_LINT_REFRESH:-0}" == "1" ]]; then
|
|
local tmp_manifest
|
|
tmp_manifest="$(mktemp "$cache_root/argument-comment-lint.XXXXXX")"
|
|
if ! curl -fsL "$release_manifest_url" -o "$tmp_manifest"; then
|
|
rm -f "$tmp_manifest"
|
|
return 1
|
|
fi
|
|
chmod +x "$tmp_manifest"
|
|
mv "$tmp_manifest" "$release_manifest_path"
|
|
fi
|
|
|
|
if ! DOTSLASH_CACHE="$dotslash_cache_root" dotslash -- fetch "$release_manifest_path" >/dev/null 2>&1; then
|
|
return 1
|
|
fi
|
|
|
|
exec env DOTSLASH_CACHE="$dotslash_cache_root" "$release_manifest_path" "$@"
|
|
}
|
|
|
|
ensure_local_prerequisites() {
|
|
if ! command -v cargo-dylint >/dev/null 2>&1 || ! command -v dylint-link >/dev/null 2>&1; then
|
|
cat >&2 <<EOF
|
|
argument-comment-lint local fallback requires cargo-dylint and dylint-link.
|
|
Install them with:
|
|
cargo install --locked cargo-dylint dylint-link
|
|
EOF
|
|
exit 1
|
|
fi
|
|
|
|
if ! rustup toolchain list | grep -q "^${toolchain_channel}"; then
|
|
cat >&2 <<EOF
|
|
argument-comment-lint local fallback requires the ${toolchain_channel} toolchain with rustc-dev support.
|
|
Install it with:
|
|
rustup toolchain install ${toolchain_channel} \\
|
|
--component llvm-tools-preview \\
|
|
--component rustc-dev \\
|
|
--component rust-src
|
|
EOF
|
|
exit 1
|
|
fi
|
|
}
|
|
|
|
set_default_env() {
|
|
if [[ "${DYLINT_RUSTFLAGS:-}" != *"$strict_lint"* ]]; then
|
|
export DYLINT_RUSTFLAGS="${DYLINT_RUSTFLAGS:+${DYLINT_RUSTFLAGS} }-D $strict_lint"
|
|
fi
|
|
if [[ "${DYLINT_RUSTFLAGS:-}" != *"$noise_lint"* ]]; then
|
|
export DYLINT_RUSTFLAGS="${DYLINT_RUSTFLAGS:+${DYLINT_RUSTFLAGS} }-A $noise_lint"
|
|
fi
|
|
|
|
if [[ -z "${CARGO_INCREMENTAL:-}" ]]; then
|
|
export CARGO_INCREMENTAL=0
|
|
fi
|
|
}
|
|
|
|
for arg in "$@"; do
|
|
if [[ -n "$expect_value" ]]; then
|
|
case "$expect_value" in
|
|
manifest_path)
|
|
has_manifest_path=true
|
|
;;
|
|
package_selection)
|
|
has_package_selection=true
|
|
;;
|
|
library_selection)
|
|
has_library_selection=true
|
|
;;
|
|
esac
|
|
expect_value=""
|
|
continue
|
|
fi
|
|
|
|
case "$arg" in
|
|
--)
|
|
break
|
|
;;
|
|
--manifest-path)
|
|
expect_value="manifest_path"
|
|
;;
|
|
--manifest-path=*)
|
|
has_manifest_path=true
|
|
;;
|
|
-p|--package)
|
|
expect_value="package_selection"
|
|
;;
|
|
--package=*)
|
|
has_package_selection=true
|
|
;;
|
|
--workspace)
|
|
has_package_selection=true
|
|
;;
|
|
--no-deps)
|
|
has_no_deps=true
|
|
;;
|
|
--lib|--lib-path)
|
|
expect_value="library_selection"
|
|
;;
|
|
--lib=*|--lib-path=*)
|
|
has_library_selection=true
|
|
;;
|
|
esac
|
|
done
|
|
|
|
lint_args=()
|
|
if [[ "$has_manifest_path" == false ]]; then
|
|
lint_args+=(--manifest-path "$manifest_path")
|
|
fi
|
|
if [[ "$has_package_selection" == false ]]; then
|
|
lint_args+=(--workspace)
|
|
fi
|
|
if [[ "$has_no_deps" == false ]]; then
|
|
lint_args+=(--no-deps)
|
|
fi
|
|
lint_args+=("$@")
|
|
|
|
if try_release_runner "${lint_args[@]}"; then
|
|
exit 0
|
|
fi
|
|
|
|
ensure_local_prerequisites
|
|
set_default_env
|
|
|
|
cmd=(cargo dylint --path "$lint_path")
|
|
if [[ "$has_library_selection" == false ]]; then
|
|
cmd+=(--all)
|
|
fi
|
|
cmd+=("${lint_args[@]}")
|
|
|
|
exec "${cmd[@]}"
|