st_tags = ['bash', 'redirections', 'unix%2Flinux', 'gt', 'line', 'world', 'lt', 'bash', 'read', 'cat', 'error', 'echo', 'main'];
	window._wp_rp_promoted_content = true;
</script>
<link rel="stylesheet" href="/wp-content/plugins/wordpress-23-related-posts-plugin/static/themes/vertical-m.css?version=3.6.4" />
<style type="text/css">
        .site-header { background: #1d2b2d; }
</style>
</head>
<body class="post-template-default single single-post postid-1574 single-format-standard group-blog">
<link rel="sty