Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
at 20.09 962 B view raw
1diff --git a/src/scripts/scriptlib.fsx b/src/scripts/scriptlib.fsx 2index cc797e305..ae8a6d3cc 100644 3--- a/src/scripts/scriptlib.fsx 4+++ b/src/scripts/scriptlib.fsx 5@@ -59,12 +59,12 @@ module Scripting = 6 7 let (++) a b = Path.Combine(a,b) 8 9- let getBasename a = Path.GetFileNameWithoutExtension a 10- let getFullPath a = Path.GetFullPath a 11- let getFilename a = Path.GetFileName a 12- let getDirectoryName a = Path.GetDirectoryName a 13+ let getBasename (path: string) = Path.GetFileNameWithoutExtension path 14+ let getFullPath (path: string) = Path.GetFullPath path 15+ let getFilename (path: string) = Path.GetFileName path 16+ let getDirectoryName (path: string) = Path.GetDirectoryName path 17 18- let copyFile source dir = 19+ let copyFile (source: string) dir = 20 let dest = 21 if not (Directory.Exists dir) then Directory.CreateDirectory dir |>ignore 22 let result = Path.Combine(dir, Path.GetFileName source)