Shell komutları

run_shell

run_shell çalışma alanında tek bir komut çalıştırır. Bu araç shell.full yetkisine sahip ajanlarda bulunur: ana ajan, Code Engineer, dönüştürücüler (Report Writer, Document and Deck Writer, PDF Operator) ve GitHub Clerk. strict profili bu aracı kaldırır.

Komutlar varsayılan olarak 120 saniyelik bir timeout ile çalışır. Bu süreyi bir izin dosyasındaki timeout ile değiştirebilirsiniz, ama hiçbir şeyin aşamayacağı 600 saniyelik bir üst sınır vardır. Süreyi aşan ya da çağrısını Esc ile iptal ettiğiniz bir komut, başlattığı her şeyle birlikte sonlandırılır. Uzun çıktıların tamamı .ivralo/spill/ altına yazılır. Ajana çıktının başı, sonu ve geri kalanının nerede olduğu verilir.

Komut yalnızca izin listesindeki ortam değişkenlerini görür: PATH, temp ve home yolları, locale, kullanıcı adı, TZ ve Windows'un temel değişkenleri. GH_TOKEN ve GITHUB_TOKEN dahil hiçbir anahtar, token ya da parola komuta ulaşmaz. gh sizin kendi gh auth login oturumunuzla kimlik doğrular. GIT_TERMINAL_PROMPT=0 ve GIT_EDITOR=true gibi sabit ayarlar sayesinde editör ya da prompt açacak bir komut turu askıda bırakmak yerine hemen hata verir.

Üç karar

Komut operatörlerinden (&&, ||, |, ;, &) parçalara ayrılır, her parça ayrı sınıflandırılır ve komutun tamamı en riskli parçası kadar riskli sayılır. Karar iki kez uygulanır: aracın kendisinde ve oturumda, size sorulmadan önce.

Bir komut ancak politika içindeki her şeyi görebiliyorsa salt okuma olarak kalır. Tek tırnak dışında bir $(...), bir backtick ya da bir $NAME varsa komut onay ister, çünkü shell bunları program başlamadan önce doldurur. Paket kurmak salt okuma değildir, bu yüzden projedeki diğer değişiklikler gibi onay ister. ivralo'nun kendisini çağırması (uv run ivralo ask) her zaman onay ister.

git ve gh komutları iki kez okunur: bir kez yazıldığı gibi, bir kez de global seçenekleri, .exe uzantısı ve tırnakları çıkarılarak. Böylece git -C sub push --force ile "git" push --force aynı push sayılır. -c, --config-env ya da --exec-path içeren veya program çalıştıran ya da dosya yazan bir seçenek (--ext-diff, --output=) taşıyan bir git okuma komutu onay ister.

Reddedilen komutların temel listesi

Temel liste, yazılana değil programa gerçekte verilene bakar. Bu yüzden başa konan bir yönlendirme (>x curl https://x) ya da kelimenin içindeki tırnaklar (c"url") hiçbir şeyi gizleyemez. Windows'ta şapka işareti ya da tek tırnak içeren bir komut hem yazıldığı gibi hem de cmd.exe'nin çalıştıracağı şekliyle değerlendirilir ve daha katı olan karar geçerli olur.

İki izin dosyası

{
  "version": 1,
  "allow": ["uv run pytest", "libreoffice --headless"],
  "deny": ["python -c"],
  "timeout": 300,
  "allow_tools": ["edit_file"],
  "hosts": { "allow": ["pypi.internal.example.com"], "deny": ["tracker.example.net"] }
}

İki dosya birleştirilir: allow, deny, allow_tools ve her hosts listesi iki dosyanın birleşimidir. Yani iki dosyadan birinde reddedilen komut reddedilir ve temel liste, iki dosyadan birindeki izne her zaman baskın gelir. timeout için repo bir değer tanımladıysa o, tanımlamadıysa home dizinindeki değer kullanılır. ivralo doctor her dosyanın neye katkı yaptığını gösterir ve her sorunun başına ilgili dosyanın adını yazar. İki dosya da her duraklamada yeniden okunur. Yani elle yaptığınız bir değişiklik, onay isteyecek bir sonraki çağrıdan itibaren geçerli olur.

Güvenmediğiniz bir klasörde repo'nun dosyası yalnızca izinleri kısıtlayabilir: deny ve hosts.deny geçerlidir, allow, allow_tools, hosts.allow ve timeout geçerli değildir.

p: bu komuta her zaman izin ver

Diyalog tek bir shell komutu için onay istediğinde, kaydedeceği önekle birlikte p seçeneğini sunar. Örneğin uv run pytest -q tests/x.py için [p] always "uv run pytest …" in this repository. Önek, komutun ilk seçeneğe, yola, tırnaklı argümana, yönlendirmeye ya da pipe'a kadar olan baş kısmıdır ve en fazla üç kelimedir. p komutu çalıştırır ve öneki home dizinindekine değil, her zaman repo'nun .ivralo/permissions.json dosyasına ekler. O önekle başlayan bir sonraki komut, yeniden başlatma gerekmeden bir allowed satırıyla çalışır.

Hiçbir önek doğru çalışamayacaksa p sunulmaz. Bu durumlar şunlardır: önek, daha uzun bir komuttan kesilmiş tek bir kelime olacaksa (python script.py her python komutuna izin verirdi), program çalıştıran bir seçenek içeren bir git komutu, bir şeyi değiştiren bir gh api çağrısı, bir pipeline ya da bir && zinciri ya da önek kaydedilse bile çalışmasına izin verilmeyecek bir komut. Sunulan önek istediğinizden genişse komutu bir kez çalıştırmak için Enter'a basın. Güvenmediğiniz bir klasörde p sunulmaz.

/permissions              iki dosyanın neye izin verip neyi reddettiği
/permissions remove 2     2. girdiyi bu repo'nun dosyasından çıkar

Host'lar ve egress

Komutta bir URL içinde ya da user@host:path şeklinde geçen bir host, web araçlarını ve Python worker'ını yöneten aynı egress politikasına göre değerlendirilir. Shell, host'ları DNS sorgusu yapmadan, metinde nasıl yazılıysa öyle okur.

Bir allow kaydı komutu onaylar, komutun nereye eriştiğini onaylamaz. Komutun onay istemesinin tek nedeni bir host ise p önek yerine host'u hosts.allow'a kaydeder: [p] always reach pypi.internal.example.com from this repository. Hiçbir host içermeyen bir gh komutu host açısından değerlendirilmez, çünkü gh yalnızca giriş yapılmış host'lara erişir.