解决nixos中vivaldi浏览器无法播放html5视频的问题

之前在manjaro也有这个问题，安装vivaldi-ffmpeg-codecs就可以。
虽然nixos也有这个包但安上不管用。

我想可能是因为nixos特殊的文件路径的问题，试着把
/nix/store/z2qmv1a5wpp8qs02sl3p5x4153bf9yhq-vivaldi-3.1.1929.45-1/opt/vivaldi/lib/libffmpeg.so
/nix/store/20ppq0708fcns45xglr9cj802zc7mzng-chromium-codecs-ffmpeg/lib/libffmpeg.so
替换一下，然而这个文件是只读的，root也改不了。

之后看到讨论：
https://discourse.nixos.org/t/unable-to-play-media-in-browser-in-fresh-nixos-20-03-installation/7003

在configuration.nix中添加

nixpkgs.config = {
    allowUnfree = true;
    vivaldi = {
      proprietaryCodecs = true;
      enableWideVine = true;
    };
  };