prikhi

module Main exposing (main)

import Browser
import Html exposing (..)
import Html.Attributes exposing (type_, value)
import Html.Events exposing (onInput, onClick)
import Http exposing (jsonBody, expectJson)
import Json.Encode as Encode
import Json.Decode as Decode

prikhi

1. Create config directory: mkdir /etc/airvpn/
2. Move your Default.xml over: mv ~/.airvpn/Default.xml /etc/airvpn
3. Create /etc/systemd/system/eddie-ui.service
4. Enable your -wait-online service
5. Enable & start the eddie-ui.service unit: systemctl enable eddie-ui.service; systemctl start eddie-ui.service
6. Verify connection by following log: journalctl -u eddie-ui.service -n50 -f

prikhi

module LawsCheckingSpec (spec) where

import Test.Hspec

spec :: Spec
spec =
  describe "laws testing" $
      it "1 + 1 == 2" $
        1 + 1 `shouldBe` (2 :: Integer)

prikhi

{-# LANGUAGE GADTs #-}
{-# LANGUAGE FlexibleContexts #-}
module PietRectangles where

import Hylogen.WithHylide


black :: Vec4
black =
    vec4 (0.0, 0.0, 0.0, 1.0)

prikhi

cmake_minimum_required(VERSION 3.5)
project(cyril)
set(APP_NAME cyril)
set(BUNDLE_NAME "cyril")

set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -std=c++11 ")
add_compile_options(-Wno-deprecated-declarations)
add_compile_options(-Wno-delete-incomplete)
add_compile_options(-Wno-conversion-null)

prikhi

<?php
/** Add a Purchased Column w/ Item Quantity, SKU, Name, & Meta to the Admin Orders Table **/
class ThemeWooCommerce
{
  /* Add a `Purchased` Column to the Admin Orders Table */
  public static function add_purchased_column_header($columns) {
    $new_columns = array();
    foreach ($columns as $key => $title) {
      if ($key === 'billing_address') {
        $new_columns['order_items'] = __('Purchased', 'woocommerce');

prikhi

<?php
/** Send Reminder & Renewal Emails for Ads that will expire in the next 5/1/0
 *  days.
 *  
 *  This script is run daily by cron.
 */

require_once '../../../../wp-load.php';

prikhi

<?php
/** This script transfers all active ads from the AWPCP Wordpress plugin into
 *  the WPAdverts plugin.
 * 
 * It assumes you've already created the new WP-Adverts categories & payment
 * products. You should update the ids of the AWPCP & WPAdverts categories and
 * payments via the $category_map and $payment_map variables.
 * 
 * License: GPL-3
 */

prikhi

type FilterMsg
    = UpdateTitleFilter String
    | UpdateDescriptionFilter String
    | UpdateTagFilter String

type Msg 
    = Filter FilterMsg
    | DoSomethingElse