• Simon Marlow's avatar
    Don't perform permission checks for scripts named with -ghci-script (#6017) · a6f2c852
    Simon Marlow authored
    The user explicitly requested this script on the command-line, so it's
    unnecessary to require that the script is also owned by the user.
    Also, it is currently impossible to make a GHCi wrapper that invokes a
    custom script without first making a copy of the script to circumvent
    the permissions check, which seems wrong.
InteractiveUI.hs 121 KB