miguel-negrao

2023-09-14 13:12:42.603 org.sleuthkit.autopsy.casemodule.Case closeCurrentCase
INFO: Closed current case quick2 (quick2_20200303_145141) in /home/miguel/Documentos/IPLeiria/8_Forensic/Cases/2019 NUIPC 13-18.6EALSB/autopsy/quick2
2023-09-14 13:12:42.604 org.sleuthkit.autopsy.casemodule.Case openAsCurrentCase
INFO: Opening vivo_adb_backup (vivo_adb_backup_20200220_162006) in /home/miguel/Documentos/IPLeiria/8_Forensic/Cases/2019 NUIPC 13-18.6EALSB/autopsy/vivo_adb_backup as the current case

miguel-negrao

inductive Cell (m : Type (u + 1) → Type (u + 1)) [Monad m] (a b : Type (u + 1)) : Type (u+1) where
  | cell {s : Type u} : (s × (s → a → m (b × s))) → Cell m a b 
  | arrm : (a → m b) → Cell m a b


def cellCatId {m : Type _ -> Type _} [Monad m]: Cell m a a := Cell.arrm pure

def cellCatCompose  {m : Type (u+1) -> Type (u+1)} [Monad m] : Cell m b c → Cell m a b → Cell m a c
  | Cell.arrm f, Cell.arrm g => Cell.arrm $ Bind.kleisliLeft f g
  | Cell.arrm f, Cell.cell (s, cellStep) =>

miguel-negrao

#!/bin/bash

sudo apt install wget

#install dependencies
wget https://github.com/sleuthkit/sleuthkit/releases/download/sleuthkit-4.11.1/sleuthkit-java_4.11.1-1_amd64.deb
wget https://github.com/labcif/autopsy-packager/releases/download/4.19.2-1/autopsy_4.19.2-1_amd64.deb

wget -q -O - https://download.bell-sw.com/pki/GPG-KEY-bellsoft | sudo apt-key add -
echo "deb [arch=amd64] https://apt.bell-sw.com/ stable main" | sudo tee /etc/apt/sources.list.d/bellsoft.list

miguel-negrao

Building all executables for `try-vivid' once. After a successful build of all of them, only specified executables will be rebuilt.
try-vivid> configure (exe)
Configuring try-vivid-0.1.0.0...
try-vivid> build (exe)
Preprocessing executable 'try-vivid-exe' for try-vivid-0.1.0.0..
Building executable 'try-vivid-exe' for try-vivid-0.1.0.0..
[1 of 2] Compiling Main

/home/miguel/Development/Haskell/projects/misc/try-vivid-hsc3/Main.hs:12:15: error:
    • Ambiguous type variable ‘i1’ arising from a use of ‘~*’

miguel-negrao

# iniciar o container. Correr apenas uma vez
docker run --name snx-vpn  --cap-add=ALL   -v /lib/modules:/lib/modules   -e SNX_SERVER=vpn.ipleiria.pt  -e SNX_USER=joao.silva  -e SNX_PASSWORD=xxxxxxxx  -t -d kedu/snx-checkpoint-vpn

# correr esta linha para iniciar a vpn
docker container start snx-vpn && sudo route add -net 172.20.4.63 netmask 255.255.255.255 gw `docker inspect --format '{{ .NetworkSettings.IPAddress }}' snx-vpn` && sudo route add -net 192.168.1.146 netmask 255.255.255.255 gw `docker inspect --format '{{ .NetworkSettings.IPAddress }}' snx-vpn`

# correr esta linha para parar a vpn
docker container stop snx-vpn && sudo route del 172.20.4.63 && sudo route del 192.168.1.146

# colocar em /etc/hosts:

miguel-negrao

 pip install deepspeech-gpu --user
DEPRECATION: Python 2.7 will reach the end of its life on January 1st, 2020. Please upgrade your Python as Python 2.7 won't be maintained after that date. A future version of pip will drop support for Python 2.7.
Collecting deepspeech-gpu
  Using cached https://files.pythonhosted.org/packages/2e/a1/307e3b30f92a344daacf3bc187aa9a1ebb998f13b8b6b579c485ffb6690e/deepspeech_gpu-0.4.1-cp27-cp27mu-manylinux1_x86_64.whl
Requirement already satisfied: numpy>=1.7.0 in /usr/lib/python2.7/dist-packages (from deepspeech-gpu) (1.12.1)
Installing collected packages: deepspeech-gpu
Successfully installed deepspeech-gpu-0.4.1
 miguel  ~  LD_DEBUG=libs deepspeech 
     31692:	find library=libpthread.so.0 [0]; searching
     31692:	 search cache=/etc/ld.so.cache

miguel-negrao

$ gbp buildpackage --git-export-dir=../buildareagbp:info: Exporting 'HEAD' to '/media/miguel/internal2/Development/checkouts/buildarea/supercollider-tmp'gbp:info: Moving '/media/miguel/internal2/Development/checkouts/buildarea/supercollider-tmp' to '/media/miguel/internal2/Development/checkouts/buildarea/supercollider-3.7.0~repack' dpkg-buildpackage -rfakeroot -us -uc -i -Idpkg-buildpackage: info: source package supercolliderdpkg-buildpackage: info: source version 1:3.7.0~repack-5dpkg-buildpackage: info: source distribution unstabledpkg-buildpackage: info: source changed by Felipe Sateler <fsateler@debian.org> dpkg-source -i -I --before-build supercollider-3.7.0~repackdpkg-buildpackage: info: host architecture amd64dpkg-source: info: applying perf-counter-include.patchdpkg-source: info: applying supernova-i686-march-flag.patchdpkg-source: info: applying gcc5-compile-fix.patchdpkg-source: info: applying Disable-128bit-float-constants.patchdpkg-source: info: applying adding-functional-header-in-PyrSerialPrim.cp

miguel-negrao

Problems:

- scsynth trie to load supernova plugins.



# User Test Checklist


## 1 Check that correct files & directories are made at startup & shutdown

miguel-negrao

{-# LANGUAGE OverloadedStrings #-}

import Turtle hiding (x, options)
import qualified Data.Text as T
import System.Environment (getArgs)
import Data.Time.Format
import Data.WAVE

main :: IO ()
main = do

miguel-negrao

deb http://snapshot.debian.org/archive/debian/20151105T095352Z/ testing non-free contrib main
deb-src http://snapshot.debian.org/archive/debian/20151105T095352Z/ testing non-free contrib main 
deb http://snapshot.debian.org/archive/debian-security/20151104T192310Z/ testing/updates non-free contrib main
deb-src http://snapshot.debian.org/archive/debian-security/20151104T192310Z/ testing/updates non-free contrib main