tiagoad

import Test.QuickCheck

-- Grupo 1

-- a)
encontra :: (a -> Bool) -> [a] -> Maybe a
encontra f xs
    | length matches == 0 = Nothing
    | otherwise = Just (head matches)
    where

tiagoad

1. Abrir o horário no fénix e escolher o semestre

2. Abrir a consola do browser (Ctrl+Shift+J / Cmd+Opt+J)

3. Fazer paste do código abaixo e pressionar Enter

4. Importar os ficheiros .ical para o calendário

   Google: https://calendar.google.com/calendar/r/settings/export

Testado no Chrome, no Fénix da FCUL.

tiagoad

import os
import time

import win32file
import win32con
import pywintypes
import winerror

WATCHED_DIR = "./mon"

tiagoad

# Based partially on http://timgolden.me.uk/python/win32_how_do_i/watch_directory_for_changes.html (thanks!)

import os
import time

import win32file
import win32con
import pywintypes
import winerror

tiagoad

/* Hide sidebar title for TST */

#sidebar-box[sidebarcommand="treestyletab_piro_sakura_ne_jp-sidebar-action"] #sidebar-header {
  display: none;
}

/* From https://github.com/Timvde/UserChrome-Tweaks/blob/master/tabs/hide-tabs-macos.css */
/* This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */

tiagoad

'use strict';

const puppeteer = require('puppeteer');
const CDP = require('chrome-remote-interface');
const fs = require('fs').promises;

function timeout(ms) {
    return new Promise(resolve => setTimeout(resolve, ms));
}

tiagoad

pyODBC + FreeTDS

1. Run brew install unixodbc freetds
2. Add section to /usr/local/etc/odbcinst.ini:

   [FreeTDS]
   Description     = FreeTDS unixODBC Driver
   Driver          = /usr/local/lib/libtdsodbc.0.so
   Setup           = /usr/local/lib/libtdsodbc.0.so
   UsageCount      = 1

tiagoad

version: '3.5'

networks:
  # for use by containers in other docker-compose files to connect to cadence
  cadence:

  # telegraf network (set up in another docker-compose file, you can replace with your own logging solution)
  monitoring_monitoring:
    external: true

tiagoad

tiagoad

sudo su -c 'echo "export MOZ_DBUS_REMOTE=1" > /etc/profile.d/firefox_wayland_fixes.sh'