This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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) => |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# 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: |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 ‘~*’ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env runhaskell | |
{-# LANGUAGE QuasiQuotes, OverloadedStrings #-} | |
import Shelly | |
import Prelude hiding (FilePath) | |
import qualified Data.Text as T | |
import qualified Data.ByteString.Char8 as B | |
import Control.Concurrent | |
import Data.List (isInfixOf, sort) | |
import Text.Shakespeare.Text (st) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import qualified Data.ByteString.Lazy as B | |
import qualified Data.ByteString.Char8 as C | |
import Data.Binary.Get | |
import Data.Word | |
import Data.Binary.IEEE754 | |
import Control.Monad (replicateM) | |
import Text.Show.Pretty | |
deffile = "/home/miguel/.local/share/SuperCollider/synthdefs/testSynthDefParsing.scsyndef" | |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
$ 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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Problems: | |
- scsynth trie to load supernova plugins. | |
# User Test Checklist | |
## 1 Check that correct files & directories are made at startup & shutdown |
NewerOlder