Tetsuroemori05

# SESSION4-SPARK

# ALL

alias test-sparkintro=;testOnly org.hablapps.sparkintro.test.*

# SECTIONS

alias sparkintro-intro=;testOnly org.hablapps.sparkintro.templates.Intro
alias sparkintro-core=;testOnly org.hablapps.sparkintro.templates.CoreRDDs

Tetsuroemori05

console.log(Math.random())

Tetsuroemori05

package Lesson5.Task1;

/**
 * Java Start. Group 77. Home work. Lesson 5. Task 1 (CakeOne).
 *
 * @author Khilchenko Sergii
 * @version 0.1.0 05.10.2018
 *
 */

Tetsuroemori05

<?xml version="1.0" encoding="utf-8"?>
<fileSnapshot xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
  <files>
    <file path="C:\ProgramData\chocolatey\lib\seek-dsc-database\seek-dsc-database.nupkg" checksum="AC36BCA0221EC03F31FCBF8DBC0BD4D9" />
    <file path="C:\ProgramData\chocolatey\lib\seek-dsc-database\seek-dsc-database.nuspec" checksum="1041A2BB04400021DE1AA3596E606378" />
    <file path="C:\ProgramData\chocolatey\lib\seek-dsc-database\lib\cDatabase\cDatabase.psd1" checksum="259E1002FE92EF02860E2927DEB0633C" />
    <file path="C:\ProgramData\chocolatey\lib\seek-dsc-database\lib\cDatabase\DSCResources\SEEK_cSQLLogin\SEEK_cSQLLogin.psm1" checksum="D7E8D203EEE0BD2B533F9968177D0D1C" />
    <file path="C:\ProgramData\chocolatey\lib\seek-dsc-database\lib\cDatabase\DSCResources\SEEK_cSQLLogin\SEEK_cSQLLogin.schema.mof" checksum="6A9C0C9872946914C8CEDEAF3B895B6D" />
    <file path="C:\ProgramData\chocolatey\lib\seek-dsc-database\tools\chocolateyInstall.ps1" 

Tetsuroemori05

From mathcomp
  Require Import ssreflect ssrnat.

Section naturalNumber.

Lemma add0nEqn (n : nat) : 0 + n = n.
Proof. by []. Qed.

Lemma addn3Eq2n1 (n : nat) : n + 3 = 2 + n + 1.
Proof.

Tetsuroemori05

#!/usr/bin/env bash

# The library pyodbc requires unixodbc headers to compile, but the
# version of the unixodbc-dev provided by trusty mismatches that of
# unixodbc from the repository provided by Microsoft, so here I
# manually install the unixODBC with all things needed.
wget ftp://ftp.unixodbc.org/pub/unixODBC/unixODBC-2.3.1.tar.gz
tar xvf unixODBC-2.3.1.tar.gz
cd unixODBC-2.3.1/
./configure --disable-gui \

Tetsuroemori05

#!/usr/bin/env bash

# The library pyodbc requires unixodbc headers to compile, but the
# version of the unixodbc-dev provided by trusty mismatches that of
# unixodbc from the repository provided by Microsoft, so here I
# manually install the unixODBC with all things needed.
wget ftp://ftp.unixodbc.org/pub/unixODBC/unixODBC-2.3.1.tar.gz
tar xvf unixODBC-2.3.1.tar.gz
cd unixODBC-2.3.1/
./configure --disable-gui \

Tetsuroemori05

<?xml version="1.0" encoding="utf-8"?>
<registrySnapshot xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
  <user>S-1-5-21-1953236517-242735908-2433092285-500</user>
  <keys>
    <key installerType="Unknown" displayName="Krita (x64) 4.0.2" displayVersion="4.0.2.100">
      <RegistryView>Registry64</RegistryView>
      <KeyPath>HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\Windows\CurrentVersion\Uninstall\Krita_x64</KeyPath>
      <DefaultValue />
      <InstallLocation><![CDATA[C:\Program Files\Krita (x64)]]></InstallLocation>
      <UninstallString><![CDATA["C:\Program Files\Krita (x64)\uninstall.exe"]]></UninstallString>

Tetsuroemori05

0 info it worked if it ends with ok
1 verbose cli [ '/Users/#MYUSERFOLDER#/.nvm/versions/node/v8.7.0/bin/node',
1 verbose cli   '/Users/#MYUSERFOLDER#/.nvm/versions/node/v8.7.0/bin/npm',
1 verbose cli   'outdated',
1 verbose cli   'firebase-functions',
1 verbose cli   '--json=true' ]
2 info using npm@6.0.1
3 info using node@v8.7.0
4 silly mapToRegistry name firebase-functions
5 silly mapToRegistry using default registry

Tetsuroemori05

#!/bin/bash
PORT=2003
SERVER=192.168.55.55
# Uncomment the line below for Supermicro IPMIs
WATT=$( ipmicfg -nm oemgetpower | awk '{print $1}' )
# Uncomment the line below for HP iLO (yum install freeipmi.x86_64)
#WATT=$( ipmi-dcmi --get-system-power-statistics | grep 'Current Power' | awk '{print $4}' )
# Uncomment and edit the line below to send static usage data (if you don't have a power monitor)
#WATT=160
echo "ipmi-stats.cluster.`hostname -s`.power ${WATT} `date +%s`" | nc ${SERVER} ${PORT}