Windows Malicious Software Removal Tool x64 – February 2020 (KB890830)
2020-02 Security Update for Adobe Flash Player for Windows 10 Version 1909 for x64-based Systems (KB4537759)
Security Intelligence Update for Windows Defender Antivirus – KB2267602 (Version 1.309.790.0)
2020-02 Cumulative Update for Windows 10 Version 1909 for x64-based Systems (KB4532693)
2020-01 Cumulative Update for .NET Framework 3.5 and 4.8 for Windows 10 Version 1909 for x64 (KB4534132)
2020-01 Cumulative Update for Windows 10 Version 1909 for x64-based Systems (KB4532695)
If you try to copy a directory into another directory in Windows through the Command Prompt (cmd.exe) using the copy command you may be surprised to discover that it only copies the files from the source directory into the destination directory and not the source directory itself.
copy dir1 dir2
copies the files in dir1 into dir2. You may be expecting dir1 to be copied into dir2. But it is not.
You need to put the name of the directory in the destination path, if it doesn’t yet exist. You also need to use the xcopy or robocopy commands. The alternative is to create the target directory first using mkdir or md commands.
In this example, two directories are in the directory located at D:\Documents\code\batch:
The goal is to copy directory testdir1 (with files) into the directory named testdir2:
xcopy /I testdir1 testdir2\testdir
/I If destination does not exist and copying more than one file,
assumes that destination must be a directory.
You can also use the newer robocopy command.
robocopy testdir testdir2\testdir
I installed the new Edge today from this link after seeing this article on Hacker News. So far so good. No reboot required and it kept my favorites, history, cookies. You have to close Edge to install but it took less than a minute. I did have to re-enable my Ad-Block extension.
It basically looks and feels like Google Chrome with some subtle differences.