Hvað er dafny.exe og hvaða forriti tilheyrir skráin?
dafny.exe er forritaskrá forritsins dafny. Hún er sett upp ásamt forritinu og með henni er það ræst af skipanalínu.
| Forrit | Útgefandi | Nýjasta útgáfa | Sjálfgefin uppsetningarmappa |
|---|---|---|---|
| dafny | — | 4.11.0 | — |
Algengar spurningar
Er dafny.exe örugg skrá?
dafny.exe er eðlilegur hluti af forritinu dafny þegar skráin er í uppsetningarmöppu þess og ber stafræna undirskrift útgefandans. Skrá með sama heiti í annarri möppu getur verið eitthvað annað: athugið undirskrift hennar og SHA256-gildi.
Hvar er dafny.exe staðsett?
Í uppsetningarmöppu forritsins, sem uppsetningarforritið velur; winget setur ferðaútgáfur forrita í %LOCALAPPDATA%\Microsoft\WinGet\Packages.
Hvernig er dafny.exe fjarlægð?
Fjarlægið forritið dafny í Stillingar → Forrit eða með winget; fjarlægingarforritið eyðir dafny.exe um leið. Ef aðeins skránni er eytt verður restin af forritinu eftir.