Mathew Polzin 4220c644cf Add a few missing NodeJS FFI functions to System (#2271) ... * support for system command via node backend. * Add env var set/unset * fix env unset function * Update libs/base/System.idr * modify system test to cover node and chez. * Add base tests for env get/set		2022-01-18 22:43:03 -08:00
..
control_app001	Move rm -rf to the beginning of the test	2021-07-13 22:54:53 +01:00
data_bits001	[ base ] Use Fin n as index in Bits (#2192)	2021-12-16 18:26:52 +00:00
data_fin001	[ fix #2032 ] Slow typechecking on Int operation when Data.Fin.fromInteger is in scope (#2189)	2021-12-13 13:47:53 +00:00
data_string_lines001	Change semantics of lines and unlines function to match Haskell and other languages (#1585)	2021-07-17 14:54:23 +01:00
data_string_unlines001	Change semantics of lines and unlines function to match Haskell and other languages (#1585)	2021-07-17 14:54:23 +01:00
data_vect001	Return a Vect from Stream take (#1812)	2021-08-30 16:00:20 +01:00
system_directory	System.Directory.listDir	2021-07-17 14:58:57 +01:00
system_env	Add a few missing NodeJS FFI functions to System (#2271)	2022-01-18 22:43:03 -08:00
system_errno	Move rm -rf to the beginning of the test	2021-07-13 22:54:53 +01:00
system_file001	clean up some deprecations (#2057)	2021-10-24 12:06:57 +01:00
system_file_copyFile	Add copyFile to System.File (#1797)	2021-08-30 15:31:37 +01:00
system_file_fRead	Add System.File fRead function	2021-11-05 11:59:17 +00:00
system_file_popen	Return error code from pclose	2021-11-05 11:59:17 +00:00
system_info001	Remove all mentions of realpath from docs	2021-07-16 21:20:11 +06:00
system_info_os001	system_info_os001: Add all the OSs that System.Info.os knows about	2021-12-25 21:52:21 -08:00
system_run	Add System run function	2021-11-05 11:59:17 +00:00
system_signal001	Move rm -rf to the beginning of the test	2021-07-13 22:54:53 +01:00
system_signal002	Move rm -rf to the beginning of the test	2021-07-13 22:54:53 +01:00
system_signal003	Move rm -rf to the beginning of the test	2021-07-13 22:54:53 +01:00
system_signal004	Replace per signal counter with per signal flag	2021-07-16 11:31:53 +01:00
system_system	Add a few missing NodeJS FFI functions to System (#2271)	2022-01-18 22:43:03 -08:00
system_time001	Add javascript support for getting system time as integer.	2021-08-30 15:35:49 +01:00