Charles Strahan cstrahan

## Hyperlinks_in_Terminal_Emulators.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                cstrahan
                / Hyperlinks_in_Terminal_Emulators.md
            
            
              Created
              August 5, 2023 21:05
                — forked from egmontkob/Hyperlinks_in_Terminal_Emulators.md
            
              
                Hyperlinks in Terminal Emulators
              
          
    Hyperlinks (a.k.a. HTML-like anchors) in terminal emulators

[ Update 2020-05-31: I won't be maintaining this page or responding to comments anymore (except for perhaps a few exceptional occasions). ]

Most of the terminal emulators auto-detect when a URL appears onscreen and allow to conveniently open them (e.g. via Ctrl+click or Cmd+click, or the right click menu).
It was, however, not possible until now for arbitrary text to point to URLs, just as on webpages.

  
## HRecursionSchemes.hs
{-# LANGUAGE StandaloneDeriving, DataKinds, PolyKinds, GADTs, RankNTypes, TypeOperators, FlexibleContexts, TypeFamilies, KindSignatures #-}

-- http://www.timphilipwilliams.com/posts/2013-01-16-fixing-gadts.html

module HRecursionSchemes where

import Control.Applicative
import Data.Functor.Identity
import Data.Functor.Const
import Text.PrettyPrint.Leijen hiding ((<>))

## IxFix.hs
{-# LANGUAGE
  UndecidableInstances, RankNTypes, TypeOperators, TypeFamilies,
  StandaloneDeriving, DataKinds, PolyKinds, DeriveFunctor, DeriveFoldable,
  DeriveTraversable, LambdaCase, PatternSynonyms, TemplateHaskell #-}

import Control.Monad
import Control.Applicative
import Data.Singletons.TH


## setupYubikey.sh
#! /bin/bash

set -e

GPGCONF_PATH=$(which gpgconf)

if [[ "$GPGCONF_PATH" != "/usr/local/bin/gpgconf" ]]; then
	echo "You don't have gnupg installed from brew, lets install it."
	brew install gnupg pinentry-mac ykpers
else

## SMBDIS.ASM
;SMBDIS.ASM - A COMPREHENSIVE SUPER MARIO BROS. DISASSEMBLY
;by doppelganger (doppelheathen@gmail.com)

;This file is provided for your own use as-is.  It will require the character rom data
;and an iNES file header to get it to work.

;There are so many people I have to thank for this, that taking all the credit for
;myself would be an unforgivable act of arrogance. Without their help this would
;probably not be possible.  So I thank all the peeps in the nesdev scene whose insight into
;the 6502 and the NES helped me learn how it works (you guys know who you are, there's no

## example.go
package main

/*
#cgo CFLAGS: -x objective-c
#cgo LDFLAGS: -framework Cocoa
#import <Cocoa/Cocoa.h>

int
StartApp(void) {
    [NSAutoreleasePool new];

## example.go
package main

/*
#cgo CFLAGS: -x objective-c
#cgo LDFLAGS: -framework Cocoa
#import <Cocoa/Cocoa.h>

int
StartApp(void) {
    [NSAutoreleasePool new];

## main.hs
{-# LANGUAGE MagicHash, UnboxedTuples #-}
module Main(main) where

import GHC.Exts         ( addrToAny# )
import GHC.Ptr          ( Ptr(..) )
import System.Info      ( os, arch )
import Encoding
import ObjLink

main :: IO ()

## bridged.conf
# /etc/openvpn/bridged.conf
comp-lzo
persist-key
persist-tun

dh   /etc/openvpn/dh1024.pem
ca   /etc/openvpn/ca.crt
cert /etc/openvpn/bridged.crt
key  /etc/openvpn/bridged.key

## Deriv.idr
module Deriv

import Control.Isomorphism

--
-- A type constructor df is the derivative of the type constructor f if for all x and e there exists d such
-- such that
--
-- f (x + e) ~ f x + e * (df x) + e^2 * d
--
	{-# LANGUAGE StandaloneDeriving, DataKinds, PolyKinds, GADTs, RankNTypes, TypeOperators, FlexibleContexts, TypeFamilies, KindSignatures #-}

	-- http://www.timphilipwilliams.com/posts/2013-01-16-fixing-gadts.html

	module HRecursionSchemes where

	import Control.Applicative
	import Data.Functor.Identity
	import Data.Functor.Const
	import Text.PrettyPrint.Leijen hiding ((<>))
	{-# LANGUAGE
	UndecidableInstances, RankNTypes, TypeOperators, TypeFamilies,
	StandaloneDeriving, DataKinds, PolyKinds, DeriveFunctor, DeriveFoldable,
	DeriveTraversable, LambdaCase, PatternSynonyms, TemplateHaskell #-}

	import Control.Monad
	import Control.Applicative
	import Data.Singletons.TH
	#! /bin/bash

	set -e

	GPGCONF_PATH=$(which gpgconf)

	if [[ "$GPGCONF_PATH" != "/usr/local/bin/gpgconf" ]]; then
	echo "You don't have gnupg installed from brew, lets install it."
	brew install gnupg pinentry-mac ykpers
	else
	;SMBDIS.ASM - A COMPREHENSIVE SUPER MARIO BROS. DISASSEMBLY
	;by doppelganger (doppelheathen@gmail.com)

	;This file is provided for your own use as-is. It will require the character rom data
	;and an iNES file header to get it to work.

	;There are so many people I have to thank for this, that taking all the credit for
	;myself would be an unforgivable act of arrogance. Without their help this would
	;probably not be possible. So I thank all the peeps in the nesdev scene whose insight into
	;the 6502 and the NES helped me learn how it works (you guys know who you are, there's no
	package main

	/*
	#cgo CFLAGS: -x objective-c
	#cgo LDFLAGS: -framework Cocoa
	#import <Cocoa/Cocoa.h>

	int
	StartApp(void) {
	[NSAutoreleasePool new];
	{-# LANGUAGE MagicHash, UnboxedTuples #-}
	module Main(main) where

	import GHC.Exts ( addrToAny# )
	import GHC.Ptr ( Ptr(..) )
	import System.Info ( os, arch )
	import Encoding
	import ObjLink

	main :: IO ()
	# /etc/openvpn/bridged.conf
	comp-lzo
	persist-key
	persist-tun

	dh /etc/openvpn/dh1024.pem
	ca /etc/openvpn/ca.crt
	cert /etc/openvpn/bridged.crt
	key /etc/openvpn/bridged.key
	module Deriv

	import Control.Isomorphism

	--
	-- A type constructor df is the derivative of the type constructor f if for all x and e there exists d such
	-- such that
	--
	-- f (x + e) ~ f x + e * (df x) + e^2 * d
	--