Neuer oder alter Edge? 🙂
Der neue auf Chromium-Basis kann mit vorgefertigen MS-policy-files konfiguriert werden.
Gibt es hier:
https://www.microsoft.com/en-us/edge/business/download (get policy files)
Für den „alten“ Edge, welcher in Version 44.X aktuell in win10 verfügbar ist, gibt es noch keine schönen GPOs, hier hilft folgender Registry-Schlüssel:
HKEY_LOCAL_MACHINE\SOFTWARE\Policies\Microsoft\MicrosoftEdge\F12
AllowDeveloperTools auf 0 setzen.
Quelle: u.A.: https://social.technet.microsoft.com/Forums/ie/en-US/275dd263-8b88-498f-901f-43e9b05a4cb2/f12-developer-tools?forum=win10itprogeneral