PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • You simply dd the entire smaller drive to the new drive (works best when both drives are hooked up via sata.) Then you use gparted or some other parted disk GUI to grow the file system on the new drive.
http://www.w3.org/ns/prov#wasQuotedFrom
  • slashdot.org