Aryeh Hillman abhillman

## a-sensible-nixos-xfce-configuration.md

      
              5 files
            
          
              2 forks
            
          
              8 comments
            
          
              19 stars
            
          
                nat-418
                / a-sensible-nixos-xfce-configuration.md
            
            
              Last active
              June 16, 2024 13:10
            
              
                A sensible NixOS Xfce configuration
              
          
    A sensible NixOS Xfce Configuration

NixOS provides good support for the Xfce desktop environment out-of-the-box, but the defaults are minimal. The files in this Gist provide a more complete experience, including a suite of basic software and plugins as well as an optional home-manager configuration for theming.
The key additions to the default Xfce provided by NixOS are:

Complete bluetooth / audio support with panel indicators and apps
LightDM with theme
Extra Xfce apps for calendaring, disk partitioning, etc.
Various quality-of-life improving non-essentials


## ffmpeg screen sharing
# If the server has ffmpeg:
## For the server:
ffmpeg -f fbdev -i /dev/fb0 -f avi pipe:1 | nc -l -p 1234
## For the viewer:
nc 127.0.0.1 1234 | ffplay -i pipe:0

# If the server doesn't have ffmpeg:
## For the server:
sudo cat /dev/fb0 | nc -l -p 1234
## For the viewer (replace 1920x1080 with the server's resolution):

## index.html
<!doctype html>
<html>
  <head>
    <title>This is the title of the webpage!</title>
  </head>
  <body>
    <p>This is an example paragraph. Anything in the <strong>body</strong> tag will appear on the page, just like this <strong>p</strong> tag and its contents.</p>
  </body>
</html>

## JSONMiddleware.py
from django.utils import simplejson

class JSONMiddleware(object):
    def process_request(self, request):
        request.JSON = None
        if request.is_ajax():
            if request.META.get('CONTENT_TYPE').count('application/json'):
                try:
                    request.JSON = simplejson.loads(request.body)
                except simplejson.JSONDecodeError:

## server.hs
import Control.Monad
import Data.Char
import System.IO
import Network
import Data.Time.LocalTime

data RequestType = GET | POST deriving (Show)
data Request = Request { rtype :: RequestType, path :: String, options :: [(String,String)] }
data Response = Response { version :: String, statuscode :: Int }
	# If the server has ffmpeg:
	## For the server:
	ffmpeg -f fbdev -i /dev/fb0 -f avi pipe:1 \| nc -l -p 1234
	## For the viewer:
	nc 127.0.0.1 1234 \| ffplay -i pipe:0

	# If the server doesn't have ffmpeg:
	## For the server:
	sudo cat /dev/fb0 \| nc -l -p 1234
	## For the viewer (replace 1920x1080 with the server's resolution):
	<!doctype html>
	<html>
	<head>
	<title>This is the title of the webpage!</title>
	</head>
	<body>
	<p>This is an example paragraph. Anything in the <strong>body</strong> tag will appear on the page, just like this <strong>p</strong> tag and its contents.</p>
	</body>
	</html>
	from django.utils import simplejson

	class JSONMiddleware(object):
	def process_request(self, request):
	request.JSON = None
	if request.is_ajax():
	if request.META.get('CONTENT_TYPE').count('application/json'):
	try:
	request.JSON = simplejson.loads(request.body)
	except simplejson.JSONDecodeError:
	import Control.Monad
	import Data.Char
	import System.IO
	import Network
	import Data.Time.LocalTime

	data RequestType = GET \| POST deriving (Show)
	data Request = Request { rtype :: RequestType, path :: String, options :: [(String,String)] }
	data Response = Response { version :: String, statuscode :: Int }