From 808f935565ec5b25e4dfd0bd70fd427369f25f57 Mon Sep 17 00:00:00 2001
From: Skitals <justin.t.nolan@gmail.com>
Date: Mon, 24 Feb 2020 15:01:07 -0500
Subject: [PATCH] add -f to cp

---
 plugins/dynamix/include/update.vfio-pci-cfg.php | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/plugins/dynamix/include/update.vfio-pci-cfg.php b/plugins/dynamix/include/update.vfio-pci-cfg.php
index 40f3e7800..8545e5a6f 100644
--- a/plugins/dynamix/include/update.vfio-pci-cfg.php
+++ b/plugins/dynamix/include/update.vfio-pci-cfg.php
@@ -11,14 +11,10 @@
  */
 ?>
 <?
-if (is_file("/boot/config/vfio-pci.cfg")) {
-  $old = rtrim(file_get_contents("/boot/config/vfio-pci.cfg"));
-} else {
-  $old = "";
-}
+$old = (is_file("/boot/config/vfio-pci.cfg")) ? rtrim(file_get_contents("/boot/config/vfio-pci.cfg")) : '';
 $new = $_GET["cfg"];
 if ($old !== $new) {
-  exec("cp /boot/config/vfio-pci.cfg /boot/config/vfio-pci.cfg.bak");
+  exec("cp -f /boot/config/vfio-pci.cfg /boot/config/vfio-pci.cfg.bak");
   exec("echo \"$new\" >/boot/config/vfio-pci.cfg", $output, $myreturn );
   if ($myreturn !== "0") {
     echo "1";