mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-15 00:54:46 +00:00
23 lines
962 B
Diff
23 lines
962 B
Diff
|
diff --git a/src/scripts/scriptlib.fsx b/src/scripts/scriptlib.fsx
|
||
|
|
index cc797e305..ae8a6d3cc 100644
|
||
|
|
--- a/src/scripts/scriptlib.fsx
|
||
|
|
+++ b/src/scripts/scriptlib.fsx
|
||
|
|
@@ -59,12 +59,12 @@ module Scripting =
|
||
|
|
|
||
|
|
let (++) a b = Path.Combine(a,b)
|
||
|
|
|
||
|
|
- let getBasename a = Path.GetFileNameWithoutExtension a
|
||
|
|
- let getFullPath a = Path.GetFullPath a
|
||
|
|
- let getFilename a = Path.GetFileName a
|
||
|
|
- let getDirectoryName a = Path.GetDirectoryName a
|
||
|
|
+ let getBasename (path: string) = Path.GetFileNameWithoutExtension path
|
||
|
|
+ let getFullPath (path: string) = Path.GetFullPath path
|
||
|
|
+ let getFilename (path: string) = Path.GetFileName path
|
||
|
|
+ let getDirectoryName (path: string) = Path.GetDirectoryName path
|
||
|
|
|
||
|
|
- let copyFile source dir =
|
||
|
|
+ let copyFile (source: string) dir =
|
||
|
|
let dest =
|
||
|
|
if not (Directory.Exists dir) then Directory.CreateDirectory dir |>ignore
|
||
|
|
let result = Path.Combine(dir, Path.GetFileName source)
|